Anne Condon

Canadian-Irish computer scientist

Gérard Berry

French computer scientist

Santosh Nagarakatte

Hhnle Reiner

Researcher

Reiner Hähnle

Researcher

Reiner Hähnle

Researcher

Andreas Pavlogiannis

Researcher

Benjamin Lucien Kaminski

Computer scientist

Krzysztof Apt

Arie Gurfinkel

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

Mooly Sagiv

Aseem Rastogi

Alexandra Silva

Portuguese computer scientist

Sriram Rajamani

Author

Thomas Wies

Computer scientist

Michele Bugliesi

Computer scientist