Alan Jeffrey |
Mozilla Research |
Alan Jeffrey |
None |
Cesar Sanchez |
IMDEA Software Institute |
Christiaan Baaij |
QBayLogic |
Daniel Winograd-Cort |
Luminous Computing |
Edward Amsden |
Black River Software, LLC. |
Guerric Chupin |
University of Nottingham |
Heinrich Apfelmus |
Unknown |
Ivan Perez chair |
NIA / NASA Formal Methods Group |
Jonathan Thaler |
University of Applied Sciences Vorarlberg |
Louis Mandel |
IBM T.J. Watson Research Center |
Manuel Baerenz |
sonnen eServices GmbH |
Marc Pouzet |
UPMC/ENS/Inria |
Mark Santolucito |
Barnard College. Columbia University |
Neil Sculthorpe |
Nottingham Trent University |
Noemi Rodriguez |
PUC-Rio |
Oleksandra Bulgakova |
Sukhomlynsky Mykolaiv National University, Ukraine |
Patrick Bahr |
IT University of Copenhagen |
Takuo Watanabe |
Tokyo Institute of Technology |
Tetsuo Kamina |
Oita University |
Tom Van Cutsem |
Nokia Bell Labs, Belgium |
Yoshiki Ohshima |
Software Engineer |