Anne Condon

Canadian-Irish computer scientist

Nils Bulling

Gérard Berry

French computer scientist

Anna Bernasconi

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

Alberto Momigliano

Author

John Rushby

British computer scientist

Lucca Hirschi

David Basin

Author

David A. Basin

Author

Steve Kremer

Writer

Oleg Sokolsky

Researcher

Patrizio Pelliccione

Computer science researcher