Verification People (First 49 people) - Page 0
Patrick Cousot
French computer scientist
Anne Condon
Canadian-Irish computer scientist
Mihalis Yannakakis
Professor
Diego Calvanese
Italian computer scientist
Nils Bulling
Sven Schewe
Computer science researcher
Georg Weissenbacher
Researcher
Giuseppe Pirlo
Gérard Berry
French computer scientist
Santosh Nagarakatte
Zachary Tatlock
Computer science researcher
Marta Kwiatkowska
Polish computer scientist
Bryan Parno
Author
Doron A. Peled
Computer science researcher
Anna Bernasconi
Luca De Alfaro
Author
Victor Vianu
Computer scientist
Graziano Pravadelli
Author
Hhnle Reiner
Researcher
Reiner Hähnle
Researcher
Reiner Hähnle
Researcher
Andreas Pavlogiannis
Researcher
Benjamin Lucien Kaminski
Computer scientist
Clark Barrett
Computer science researcher
Aws Albarghouthi
Author
Jeremy Avigad
Professor
Azadeh Farzan
Writer
Mahesh Viswanathan
Orna Kupferman
Computer science researcher
Sriram Sankaranarayanan
Computer scientist
Tobias Nipkow
Computer scientist
Armin Biere
German computer scientist
Krzysztof Apt
Prabhat Mishra
Computer researcher
Mustafa Hashmi
Researcher
Alberto Momigliano
Author
David Samuel Rosenblum
Computer scientist
Arie Gurfinkel
Scott A. Smolka
Computer science researcher
Dawson Engler
Computer scientist
Sharon Shoham
Computer scientist
Monika Seisenberger
Author
Alex Aiken
Computer science researcher
Shriram Krishnamurthi
Computer scientist
James Cheney
Computer researcher
Martin Sulzmann
Author
Sophia Drossopoulou
Computer scientist
