Program Logic People (First 12 people) - Page 0
John C. Mitchell
Engineer
Reiner Hähnle
Researcher
Einar Broch Johnsen
Computer researcher
Benjamin Lucien Kaminski
Computer scientist
Krzysztof Apt
Monika Seisenberger
Author
Dexter Kozen
American computer scientist
James Cheney
Computer researcher
Karl Fredrick Crary
Author
Steve Zdancewic
Computer researcher
Ankur Taly
