People Directory

Site Listings 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. 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