Celebrating discoveries of practical innovations.

@Cornell

Dexter Kozen earns computer science achievement award https://t.co/45UKiTrchh