Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (54)

Bansal, Suguman
Georgia Institute of Technology, USAUnited States
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
H
Havelund, Klaus
NASA/Caltech Jet Propulsion LaboratoryUnited States
Heitmeyer, Constance
Naval Research Laboratory, washington DCUnited States
McMillan, Kenneth L.
University of Texas at AustinUnited States
P
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Seshia, Sanjit
UC Berkeley
U
Urban, Caterina
INRIA & École Normale Supérieure | Université PSLFrance