Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (1006)

Aguirre, Alejandro
IMDEA Software Institute and T.U. of Madrid (UPM)
Ainsworth, Sam
University of Edinburgh, UKUnited Kingdom
Akram, Shoaib
Australian National UniversityAustralia
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Anderson, Daniel
Carnegie Mellon UniversityUnited States
Ariola, Zena M.
University of OregonUnited States
B
Balachandran, Swee
National Institute of AerospaceUnited States
Barowy, Dan
Williams CollegeUnited States
Bautista, Santiago
Univ Rennes, ENS Rennes, Inria, IRISAFrance
Bendrissou, Bachir
CISPA Helmholtz Center for Information Security
Berger, Emery D.
University of Massachusetts AmherstUnited States
Beutner, Raven
CISPA Helmholtz Center for Information Security, GermanyGermany
Beutner, Raven
CISPA Helmholtz Center for Information Security, Germany
Bornholt, James
University of Texas at AustinUnited States
Bowman, William J.
University of British ColumbiaCanada
Bruni, Roberto
University of PisaItaly
C
Cabrera Arteaga, Javier
KTH Royal Institute of Technology
Cao, David
University of California, San Diego
Cardoso, João M. P.
University of Porto and INESC TEC, PortugalPortugal
Cecchetti, Ethan
University of Maryland, College ParkUnited States
Chabbi, Milind
Uber Technologies Inc.United States
Chajed, Tej
Massachusetts Institute of Technology, USAUnited States
Chasins, Sarah E.
University of California at BerkeleyUnited States
Chen, Adam
Stevens Institute of TechnologyUnited States
Choi, Wonhyuk
Meta; Columbia UniversityUnited States
Christensen, Michael
University of California at Santa BarbaraUnited States
Chu, Shumo
University of Washington, USAChina
Clarke, Jessica
University of CambridgeUnited Kingdom
Constantinides, George A.
Imperial College London, UK
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
Coward, Samuel
Imperial College London, UK
Criswell, John
University of Rochester, USAUnited States
D
D'Antoni, Loris
University of Wisconsin-Madison, USA
Darnell, Benjamin
University of California, Santa BarbaraUnited States
de Vries, Edsko
Well-Typed LLPNetherlands
Debray, Saumya
University of ArizonaUnited States
Denis, Xavier
Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Downen, Paul
University of Massachusetts LowellUnited States
Drane, Theo
Intel Corporation, USA
Du, Justin
University of California, San DiegoUnited States
Dutle, Aaron
NASA Langley Research CenterUnited States
Egger, Bernhard
Seoul National UniversitySouth Korea
Eichholz, Matthias
Technical University of Darmstadt
El Kharroubi, Michaël
University of Applied Sciences and Arts Western SwitzerlandSwitzerland
Fehr, Mathieu
University of EdinburghUnited Kingdom
Ferdowsi, Kasra
University of California at San DiegoUnited States
Ferreira, Carla
NOVA School of Science and TechnologyPortugal
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Fisher, Kathleen
Tufts UniversityUnited States
Flanagan, Cormac
University of California at Santa Cruz
Fonseca, Alcides
LASIGE, Faculty of Sciences, University of LisbonPortugal
Gardner, Philippa
Imperial College LondonUnited Kingdom
Gervais, Arthur
Imperial College London
Ghosh, Souradip
Carnegie Mellon UniversityUnited States
Giannarakis, Nick
University of Wisconsin-Madison
Gilray, Thomas
University of Alabama at BirminghamUnited States
Goharshady, Amir Kafshdar
Hong Kong University of Science and Technology
Gonzalez Boix, Elisa
Vrije Universiteit Brussel, BelgiumBelgium
Gopinathan, Kiran
National University of SingaporeSingapore
Gordon, Colin
Drexel UniversityUnited States
Gori, Roberta
University of PisaItaly
Gorjiara, Hamed
University of California, Irvine
Greenman, Ben
Brown UniversityUnited States
Griffin, Jeremiah
University of California, Riverside
Guan, Hui
University of Massachusetts, AmherstUnited States
Guha, Arjun
Northeastern UniversityUnited States
Hannig, Frank
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany
Hanrahan, Pat
Stanford University, USA
Hartline, Jason D.
Northwestern University
Henriksen, Troels
University of Copenhagen, DenmarkDenmark
Hester, Josiah
Northwestern UniversityUnited States
Heydemann, Karine
Sorbonne University; CNRS; LIP6France
Hietala, Kesha
University of MarylandUnited States
Hirth, Auguste
University of California, Los Angeles (UCLA)
Hong, Changwan
Massachusetts Institute of Technology
Hosking, Tony
Australian National UniversityAustralia
Houshmand, Farzin
University of California, RiversideUnited States
Iwasaki, Hideya
University of Electro-Communications, Japan
J
Jabbarvand, Reyhaneh
University of Illinois, Urbana-ChampainUnited States
Jagannathan, Suresh
Purdue UniversityUnited States
Janků, Petr
Brno University of Technology, Czechia
Jeon, Hyeran
University of California, MercedUnited States
Kaki, Gowtham
University of Colorado BoulderUnited States
Kalhauge, Christian Gram
Technical University of DenmarkDenmark
Kaminski, Benjamin Lucien
Saarland University and University College LondonGermany
Kanade, Aditya
Indian Institute of Science, Bangalore
Kang, Xiyu
University of ArizonaUnited States
Kapritsos, Manos
University of Michigan, USA
Kasikci, Baris
University of Michigan, USA
Khatchadourian, Raffi
City University of New York (CUNY) Hunter CollegeUnited States
Kim, Hyoseung
University of California, RiversideUnited States
Kirsch, Christoph
University of Salzburg; Czech Technical UniversityAustria
Kortbeek, Vito
Delft University of TechnologyNetherlands
Krishna Ramanathan, Murali
Uber Technologies Inc.United States
Kulkarni, Milind
Purdue UniversityUnited States
Kunčak, Viktor
EPFL, SwitzerlandSwitzerland
L
Laguna, Ignacio
Lawrence Livermore National LaboratoryUnited States
Lampropoulos, Leonidas
University of MarylandGreece
Lasser, Sam
Tufts UniversityUnited States
Le, Quang Loc
University College LondonUnited Kingdom
Lea, Doug
State University of New York (SUNY) OswegoUnited States
Lee, Alex
University of California, Irvine
Lerner, Sorin
University of California at San DiegoUnited States
Lewchenko, Nicholas V.
University of Colorado BoulderUnited States
Li, Zikun
University of California, Los Angeles (UCLA)
Lim, HeuiChan
University of ArizonaUnited States
Liu, Junrui
University of California, Santa BarbaraUnited States
Liu, Xiaoyu
Microsoft CorporationUnited States
Liu, Xu
North Carolina State University, Oak Ridge National Laboratory, USAUnited States
Livshits, Ben
Imperial College London, UK
Loehr, Devon
Princeton UniversityUnited States
Long, Fan
University of Toronto, Canada
Low, Tze Meng
Carnegie Mellon UniversityUnited States
Luo, Weiyu
University of California, IrvineUnited States
Ma, Henry
University of California, Los Angeles (UCLA)
Maleki, Saeed
Microsoft ResearchUnited States
Mariano, Benjamin
The University of Texas at Austin, Texas, USAUnited States
Masci, Paolo
National Institute of Aerospace, USAUnited States
Matsumoto, Kotaro
Kochi University of Technology
McMillan, Kenneth L.
University of Texas at AustinUnited States
McNally, Christopher
Massachusetts Institute of TechnologyUnited States
Meiklejohn, Christopher
Carnegie Mellon UniversityUnited States
Milano, Mae
University of California, Berkeley
Milanova, Ana
Rensselaer Polytechnic Institute
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Monperrus, Martin
KTH Royal Institute of TechnologySweden
Moscato, Mariano
National Institute of AerospaceUnited States
Moss, Eliot
University of Massachusetts Amherst
Murali, Vijayaraghavan
Meta Platforms, Inc.United States
Mutluergil, Suha Orhun
IRIF, France / University Paris Diderot, France / CNRS, France
Muñoz, César
NASA Langley Research CenterUnited States
Mével, Glen
Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles
Nagarajan, Vijay
University of Edinburgh, UK
Nam, Daye
CMU, Carnegie Mellon University
Negrini, Luca
Ca’ Foscari University of Venice, Corvallis S.r.l.Italy
O'Hearn, Peter W.
Meta; University College LondonUnited Kingdom
P
P. Khedker, Uday
Indian Institute of Technology (IIT) BombayIndia
Patru, Dorin
Rochester Institute of Technology
Patterson, Daniel
Northeastern UniversityUnited States
Pawełczak, Przemysław
Delft University of TechnologyNetherlands
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and Technology
Podelski, Andreas
University of Freiburg, GermanyGermany
Polito, Guillermo
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo ConsortiumFrance
Pollard, James D.
Imperial College LondonUnited Kingdom
Porter, RanDair
University of WashingtonUnited States
Prabhakar, Raghu
SambaNova Systems, Inc.United States
Prahladan, Prasanth
University of Colorado Boulder
Prokopec, Aleksandar
Oracle LabsSwitzerland
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Quinn, Andrew
University of California, Santa CruzUnited States
Raad, Azalea
Imperial College LondonUnited Kingdom
Raghothaman, Mukund
University of Southern California
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Ramanathan, Nadesh
Imperial College LondonUnited Kingdom
Ranzato, Francesco
University of PadovaItaly
Rawat, Prashant Singh
Meta Platforms, Inc.United States
Reber, Benjamin
University of Rochester
Riley, Daniel
Florida State UniversityUnited States
Rinard, Martin C.
Massachusetts Institute of TechnologyUnited States
Rodríguez, Gabriel
Universidade da CoruñaSpain
Roychoudhury, Abhik
National University of SingaporeSingapore
S
Saberlatibari, Javad
University of California RiversideUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Sarracino, John
Cornell UniversityUnited States
Schoeberl, Martin
Technical University of DenmarkDenmark
Scholz, Sven-Bodo
Heriot-Watt UniversityUnited Kingdom
Sen, Koushik
University of California at BerkeleyUnited States
Shadab, Narges
University of California at RiversideUnited States
Shen, Xipeng
North Carolina State University; FacebookUnited States
Signoles, Julien
CEA LIST, University Paris-Saclay, FranceFrance
Smith, Calvin
University of Texas AustinUnited States
Sotoudeh, Matthew
University of California, Davis
Sun, Yihan
University of California, RiversideUnited States
Sundararajan, Vaishnavi
University of California at Santa CruzUnited States
Surbatovich, Milijana
Carnegie Mellon University
Swords, Rebecca
UnaffiliatedUnited States
Syal, Mandeep
University of California, San DiegoUnited States
Tesone, Pablo
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
Thom Popovici, Doru
Lawrence Berkeley National LabUnited States
Tithi, Jesmin Jahan
Intel Corporation, ACM-Selects, ACM-COPE, Stony Brook University, USAUnited States
Titzer, Ben L.
Carnegie Mellon UniversityUnited States
Tiwari, Abhishek
National University of SingaporeSingapore
Tjong, Davin
University of California, San Diego
Tran, Thanh-Nha
University of California, San DiegoUnited States
Turcotti, Joshua
University of California, Berkeley
Vasilenko, Lisa
IMDEA Software InstituteSpain
Verbeek, Freek
Open University of The Netherlands & Virginia Tech
Viswanathan, Mahesh
University of Illinois at Urbana-ChampaignUnited States
Vu, Son Tuan
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
Walker, David
Princeton UniversityUnited States
White, Lauren
NASA Langley Research CenterUnited States
Wu, Wei-Cheng
University of Southern California, USA
Wu, Xiaodi
Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD
Xie, Ningning
University of CambridgeUnited Kingdom
Xu, Harry
University of California, Los Angeles (UCLA)United States
Xu, Mingkuan
Carnegie Mellon University
Y
Yadav, Rohan
Stanford UniversityUnited States
Yang, Yudi
University of Rochester, USA
Yazdani, Nathaniel
University of Washington, SeattleUnited States
Yin, Xizhe
University of California, RiversideUnited States
Zeller, Andreas
CISPA Helmholtz Center for Information SecurityGermany
Zhang, Chenhao
Northwestern University
Zhang, Danfeng
Pennsylvania State UniversityUnited States
Zhang, Yangyu
Institute of Computing Technology,Chinese Academy of SciencesChina
Zhang, Yihong
University of WashingtonUnited States
Zhang, Yizhou
University of WaterlooCanada
Zhao, Wenyu
Australian National UniversityAustralia
Ö
Öhman, Joakim
IMDEA Software Institute; Universidad Politécnica de MadridSpain