VMCAI 2022
Sun 16 - Tue 18 January 2022 Philadelphia, Pennsylvania, United States
co-located with POPL 2022
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (59)

A
Albarghouthi, Aws
University of Wisconsin-Madison, USA
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
G
Grumberg, Orna
Technion – Israel Institute of Technology
Gutsfeld, Jens Oliver
Westfälische Wilhelm-Universität Münster (WWU), Germany
Hadarean, Liana
Amazon Web ServicesUnited States
K
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Kretinsky, Jan
Technical University of MunichGermany
Krishna, Siddharth
Microsoft Research, CambridgeUnited Kingdom
Müller-Olm, Markus
University of MünsterGermany
Palsberg, Jens
University of California at Los AngelesUnited States
Podelski, Andreas
University of Freiburg, GermanyGermany
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
S
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Seidl, Martina
Johannes Kepler University LinzAustria
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Singh, Gagandeep
University of Illinois at Urbana-ChampaignUnited States
Tinelli, Cesare
University of IowaUnited States