Aseem Rastogi

Alexandra Silva

Portuguese computer scientist

Sriram Rajamani

Author

Thomas Wies

Computer scientist

Elham Kashefi

Computer science researcher

Sven Nussbaum

Author

Alessio Lomuscio

John Rushby

British computer scientist

Lucca Hirschi

David Basin

Author

David A. Basin

Author

Steve Kremer

Writer

Radu Calinescu

Researcher

Henry Muccini

Author

Oleg Sokolsky

Researcher

Tevfik Bultan

Mathematician

Patrizio Pelliccione

Computer science researcher

Oliviero Riganelli

Researcher

Marsha Chechik

Author

Sarfraz Khurshid

Author

Wolfgang Arendt

German mathematician

Gerard J. Holzmann

American computer scientist

Viktor Vafeiadis

Eliathamby Ambikairajah

Engineer

Michele Bugliesi

Computer scientist

Corina S. Păsăreanu

Author

Raimund Ubar

Author

Javier Esparza

Computer scientist

Noam Rinetzky

Computer scientist

Pascal Fontaine

Author