David Gries joined Cornell in 1969. He was chair of CS in the 1980s and associate dean of engineering for 8 years
in the 2000s.
His research was on compiler writing and areas related to formal programming methodology. ...

Over 40 years ago, Bob Constable and his students started designing a logical language for specifying programming
tasks and mathematical problems. The system, called Nuprl, is known since 1984 for being able to synthesize ...