People Directory

Site Listings

theory.stanford.edu: Alex Aiken
Received his Bachelors degree in Computer Science and Music from Bowling Green State University in 1983 and his Ph.D. from Cornell University in 1988.
theory.stanford.edu/~aiken/

homepages.inf.ed.ac.uk: Don Sannella
Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
homepages.inf.ed.ac.uk/dts/

Add Site or Add URL to Submit Site to the People Directory