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.
homepages.inf.ed.ac.uk: Don Sannella
Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Add Site or Add URL to Submit Site to the People Directory