Roberto Giacobazzi

Author

Irene Finocchi

Author

Sebastian Hack

Computer scientist

Koushik Sen

Aws Albarghouthi

Author

Jianyi Cheng

Jesus Labarta

Researcher

Irene Finocchi

Author

Arie Gurfinkel

Niles Pierce

American engineer

Vivek Sarkar

Author

Camil Demetrescu

Researcher

Thanassis Avgerinos

Gail E. Kaiser

Author

Sharon Shoham

Computer scientist

Dexter Kozen

American computer scientist

Alan Mycroft

Professor

Susan B. Horwitz

American computer scientist

Martin Sulzmann

Author

Mooly Sagiv

Thomas Wies

Computer scientist

Mark Harman

British computer scientist

Chris Hankin

Author

Jens Krinke

Mauro Pezze

Computer scientist

Saumya K. Debray

Eric Bodden

German computer scientist

Georg Seelig

Swiss computer scientist