Patrick Cousot

French computer scientist

Somesh Jha

Author

Nils Bulling

Pierre Wolper

Rector of the University of Liège

Christine Paulin-Mohring

Mathematician

Falk Howar

Author

Alberto Lluch Lafuente

Academic

Shaoying Liu

Writer

Jonathan Bowen

British computer scientist

Carl A. Gunter

Author

Kathi Fisler

Researcher

Calin Belta

Writer

Eerke Boiten

Author

Jordi Cortadella

Michael Backes

Director of CISPA – Helmholtz Center for Information Security

Muffy Calder

British computer scientist

Sanjit A. Seshia

Author

Hhnle Reiner

Researcher

Reiner Hähnle

Researcher

Reiner Hähnle

Researcher

Michael Norrish

Computer researcher

Michael Leuschel

Author

Edmund M. Clarke

American computer scientist

Stephan Merz

Author

Emanuela Merelli

Author

Pierfrancesco Bellini

Researcher

Roopsha Samanta

Andreas Pavlogiannis

Researcher

Fabio Gadducci

Computer scientist

Einar Broch Johnsen

Computer researcher

Benjamin Lucien Kaminski

Computer scientist

Clark Barrett

Computer science researcher

Andrew Butterfield

Author

Elvinia Riccobene

Aws Albarghouthi

Author

Jianyi Cheng

Sayan Mitra

Professor of mathematics

Paritosh Pandya

Indian computer scientist

Amy Felty

Ekkart Kindler

Olav Lysne

Author

Gul Agha

Professor

Benjamin Delaware

Alexandra Silva

Portuguese computer scientist

Dines Bjørner

Danish computer scientist

Andrea Vandin

Computer science researcher

Lucca Hirschi

David Basin

Author