Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (207)

A
Abdulaziz, Mohammad
Technische Universität MünchenGermany
Adams, Michael D.
University of MichiganUnited States
Ahmed, Amal
Northeastern University, USAUnited States
Albarghouthi, Aws
University of Wisconsin-Madison, USA
Arias, Joaquin
Universidad Politécnica de Madrid and IMDEA Software InstituteSpain
Balzer, Stephanie
Carnegie Mellon University, USAUnited States
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bowman, William J.
University of British ColumbiaCanada
Byrd, William E.
University of Alabama at Birmingham, USAUnited States
C
Cao, Qinxiang
Shanghai Jiao Tong UniversityChina
Carbin, Michael
Massachusetts Institute of TechnologyUnited States
Cong, Youyou
Tokyo Institute of TechnologyJapan
D
D'Antoni, Loris
University of Wisconsin-Madison, USA
del Carmen González-Huesca, Lourdes
National Autonomous University of MexicoMexico
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Downen, Paul
University of Massachusetts LowellUnited States
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Freer, Cameron
Massachusetts Institute of TechnologyUnited States
Gordon, Andrew D.
Microsoft Research and University of EdinburghUnited Kingdom
Grumberg, Orna
Technion – Israel Institute of Technology
H
Hadarean, Liana
Amazon Web ServicesUnited States
Hague, Matthew
Royal Holloway, University of LondonUnited Kingdom
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Hsu, Justin
University of Wisconsin-Madison, USAUnited States
Hur, Chung-Kil
Seoul National UniversitySouth Korea
J
Jhala, Ranjit
University of California at San Diego
Kaminski, Benjamin Lucien
University College LondonUnited Kingdom
Kammar, Ohad
University of EdinburghUnited Kingdom
Katsumata, Shin-ya
National Institute of InformaticsJapan
Klein, Gerwin
CSIRO's Data61 and UNSW SydneyAustralia
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Kretinsky, Jan
Technical University of MunichGermany
Krishna, Siddharth
Microsoft Research, CambridgeUnited Kingdom
Krishnaswami, Neel
Computer Laboratory, University of Cambridge
Lin, Anthony Widjaja
Technische Universität Kaiserslautern and Max-Planck Institute for Software SystemsGermany
Liu, Y. Annie
Stony Brook UniversityUnited States
M
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Morris, J. Garrett
The University of IowaUnited States
Murray, Toby
University of Melbourne, AustraliaAustralia
Mörtberg, Anders
Department of Mathematics, Stockholm UniversitySweden
Müller-Olm, Markus
University of MünsterGermany
N
Nakata, Keiko
SAP Innovation Center PotsdamGermany
Nepeivoda, Antonina
Program Systems Institute of RAS, RussiaRussia
O
Ong, C.-H. Luke
University of OxfordUnited Kingdom
Palsberg, Jens
University of California at Los AngelesUnited States
Paraskevopoulou, Zoe
Princeton UniversityUnited States
Parkinson, Matthew
Microsoft Research, UKUnited Kingdom
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Podelski, Andreas
University of Freiburg, GermanyGermany
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Régis-Gianas, Yann
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France
S
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Satoh, Ken
National Institute of InformaticsJapan
Seidl, Martina
Johannes Kepler University LinzAustria
Sergey, Ilya
National University of SingaporeSingapore
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Singh, Gagandeep
VMWare Research and UIUCUnited States
Siskind, Jeffrey Mark
School of Electrical and Computer Engineering, Purdue UniversityUnited States
Stark, Kathrin
Princeton University, USAUnited States
Suenaga, Kohei
Graduate School of Informatics, Kyoto UniversityJapan
Syeda, Hira Taqdees
Chalmers University of TechnologySweden
Tavares, Zenna
Massachusetts Institute of Technology
Thakur, Aditya V.
University of California at DavisUnited States
Tourret, Sophie
Max Planck Institute for Informatics
Tsushima, Kanae
National Institute of Informatics, JapanJapan
U
Urban, Caterina
INRIA & École Normale Supérieure | Université PSLFrance
V
van Doorn, Floris
University of PittsburghUnited States
Verbeek, Freek
Open University of the Netherlands, The Netherlands
Wickerson, John
Imperial College LondonUnited Kingdom
Wiedijk, Freek
Radboud University NijmegenNetherlands
Wilcox, James R.
University of WashingtonUnited States
Wong, Meng Weng
Singapore Management UniversitySingapore
Wu, Nicolas
Imperial College London, UKUnited Kingdom
Zhang, Qirun
Georgia Institute of Technology, USA
Zhi-Xuan, Tan
Massachusetts Institute of Technology