Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (857)

Affeldt, Reynald
National Institute of Advanced Industrial Science and Technology (AIST)Japan
Al Thokair, Mosaad
University of Illinois at Urbana-ChampaignUnited States
Aldrich, Jonathan
Carnegie Mellon UniversityUnited States
Allais, Guillaume
University of St AndrewsUnited Kingdom
Allamigeon, Xavier
Inria and Ecole Polytechnique
Ammanaghatta Shivakumar, Basavesh
Max Planck Institute for Security and Privacy (MPI-SP)Germany
Angel, Sebastian
University of Pennsylvania; Microsoft ResearchUnited States
Angiuli, Carlo
Carnegie Mellon UniversityUnited States
Asai, Kenichi
Ochanomizu UniversityJapan
Aspinall, David
University of Edinburgh
Bailey, Chris
University of Illinois College of Law
Balduccini, Marcello
Saint Joseph's University, USAUnited States
Balliu, Musard
KTH Royal Institute of TechnologySweden
Bansal, Sorav
IIT Delhi and CompilerAI LabsIndia
Barbosa, Manuel
HASLab - INESC TEC and FCUPPortugal
Barke, Shraddha
University of California at San DiegoUnited States
Barthe, Gilles
MPI-SP; IMDEA Software InstituteGermany
Basu, Shrutarshi
Middlebury College
Basu, Shrutarshi
Harvard UniversityUnited States
Batz, Kevin
RWTH Aachen UniversityGermany
Bichhawat, Abhishek
Carnegie Mellon UniversityUnited States
Bieniusa, Annette
University of Kaiserslautern-LandauGermany
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Bogani, Ronny
University of Edinburgh
Bosamiya, Jay
Carnegie Mellon UniversityUnited States
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bowers, Maddy
Massachusetts Institute of TechnologyUnited States
Boyland, John
Univeristy of Wisconsin, MilwaukeeUnited States
Canu, Quentin
Inria and Ecole Polytechnique
Cao, David
University of California at San DiegoUnited States
Carbin, Michael
Massachusetts Institute of TechnologyUnited States
Carro, Manuel
IMDEA Software Institute and T.U. of Madrid (UPM)Spain
Castegren, Elias
Uppsala UniversitySweden
Cauligi, Sunjay
University of California at San Diego, USA
Cecchetti, Ethan
University of Maryland, College ParkUnited States
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
Chappe, Nicolas
University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance
Chaudhuri, Swarat
University of Texas at AustinUnited States
Chen, John
Cornell UniversityUnited States
Chen, Yanju
University of California at Santa BarbaraUnited States
Chen, Yixuan
Yale UniversityUnited States
Cho, Minki
Seoul National UniversitySouth Korea
Christiansen, Jan
Flensburg University of Applied Sciences, GermanyGermany
Cirisci, Berk
IRIF, University Paris Diderot and CNRS, FranceFrance
Clairambault, Pierre
Université Aix-Marseille; Université de Toulon; CNRS; LISFrance
Clune, Joshua
Carnegie Mellon University
Corbyn, Nathan
University of OxfordUnited Kingdom
Correnson, Arthur
École Normale Supérieure de Rennes & Saarland University
Costantini, Stefania
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
David, Cristina
University of BristolUnited Kingdom
Day, Joel D.
Loughborough UniversityUnited Kingdom
De Roover, Coen
Vrije Universiteit BrusselBelgium
Degenne, Rémy
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9198-CRIStAL, F-59000 Lille, France
Demange, Delphine
Univ Rennes, Inria, CNRS, IRISAFrance
Denlinger, Aidan
University of California at San DiegoUnited States
Desmartin, Remi
Heriot-Watt University
Di Florio, Cecilia
University of BolognaItaly
Di Giusto, Cinzia
Université Côte d'Azur; CNRSFrance
Di Stefano, Luca
University of Gothenburg, SwedenItaly
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
Ding, Shuo
Georgia Institute of TechnologyUnited States
Dobos-Kovács, Mihály
Budapest University of Technology and Economics
Doenges, Ryan
Cornell UniversityUnited States
Donato, Pablo
Ecole polytechnique
Ellis, Kevin
Cornell UniversityUnited States
Espada, Guilherme
University of LisbonPortugal
Falaschi, Moreno
Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of SienaItaly
Ferguson, Jeremy
University of California-Berkeley
Ferre', Davide
Université Côte d'Azur; CNRSFrance
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Fioravanti, Fabio
University of Chieti-PescaraItaly
Firsov, Denis
Tallinn University of TechnologyEstonia
Fletcher, Christopher W.
University of Illinois Urbana-Champaign
Freer, Cameron
Massachusetts Institute of TechnologyUnited States
Fu, Peng
Dalhousie UniversityCanada
Färber, Michael
Universität Innsbruck, AustriaAustria
Férée, Hugo
Université Paris Cité / IRIFUnited Kingdom
G
Gaboardi, Marco
Boston UniversityUnited States
Galletta, Letterio
IMT School for Advanced Studies LuccaItaly
Gardner, Philippa
Imperial College LondonUnited Kingdom
Garg, Poorva
University of California, Los Angeles
Gavazzo, Francesco
University of PisaItaly
Gligoric, Milos
University of Texas at AustinUnited States
Goncharov, Sergey
University of Erlangen-NurembergGermany
Governatori, Guido
Singapore Management University
Grand, Gabriel
Massachusetts Institute of TechnologyUnited States
Grewal, Nathan
University of WaterlooCanada
Gruetter, Samuel
Massachusetts Institute of Technology
Guerrieri, Giulio
Aix Marseille Université - CNRS - LIS; Edinburgh Research Centre - Central Software Institute - HuaweiFrance
Guha, Arjun
Northeastern University and Roblox ResearchUnited States
Gunter, Elsa
University of IllinoisUnited States
Hainry, Emmanuel
Université de Lorraine; CNRS; Inria; LORIAFrance
Halkjær From, Asta
Technical University of Denmark
Haller, Philipp
KTH Royal Institute of TechnologySweden
Hardekopf, Ben
University of California at Santa BarbaraUnited States
Harper, Robert
Carnegie Mellon UniversityUnited States
Hasuo, Ichiro
National Institute of Informatics, JapanJapan
Hayes, Ian J.
The University of QueenslandAustralia
Heeren, Bastiaan
Open University of the Netherlands, NetherlandsNetherlands
Henrio, Ludovic
University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance
Herklotz, Yann
Imperial College LondonUnited Kingdom
Hiep, Hans-Dieter
Leiden Institute of Advanced Compter Science (LIACS) & Centrum Wiskunde Informatica (CWI)Netherlands
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Jhala, Ranjit
University of California at San DiegoUnited States
Jochems, Jerome
University of BristolUnited Kingdom
Jones, Eddie
University of BristolUnited Kingdom
Kaddar, Younesse
University of OxfordUnited Kingdom
Kaminski, Benjamin Lucien
Saarland University; University College LondonGermany
Kerinec, Axel
Université Sorbonne Paris Nord; LIPN; CNRSFrance
Kesner, Delia
Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance
Khoo, Siau-Cheng
National University of SingaporeSingapore
Kim, Jinwoo
University of Wisconsin-Madison; Seoul National UniversityUnited States
Kishida, Kohei
University of Illinois at Urbana-ChampaignUnited States
Klein, Gerwin
CSIRO's Data61 and UNSW SydneyAustralia
Kolosick, Matthew
University of California at San DiegoUnited States
Koutris, Paraschos
University of Wisconsin-MadisonUnited States
Koutsoukou-Argyraki, Angeliki
University of Cambridge, Department of Computer Science and TechnologyUnited Kingdom
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Krawiec, Faustyna
University of CambridgeUnited Kingdom
Kruse, Matthis
CISPA Helmholtz Center for Information SecurityGermany
Kulahcioglu Ozkan, Burcu
Delft University of TechnologyNetherlands
Kunkel, Rose
University of California at San DiegoUnited States
L
Lafont, Ambroise
University of CambridgeUnited Kingdom
Lamiaux, Thomas
University of Paris-Saclay, Ens Paris-Saclay
Laneve, Cosimo
University of Bologna
Laversa, Laetitia
Université Côte d'Azur; CNRSFrance
Le, Ton Chanh
Stevens Institute of TechnologyUnited States
Lee, Dongjae
Seoul National UniversitySouth Korea
Lemerre, Matthieu
Université Paris-Saclay - CEA LISTFrance
Lesani, Mohsen
University of California at Riverside
Leung, Hannah
University of Illinois Urbana-ChampaignUnited States
Li, Yue
Heriot-Watt University, UKUnited Kingdom
Limperg, Jannis
Vrije Universiteit AmsterdamNetherlands
Lindley, Sam
University of EdinburghUnited Kingdom
Liu, Junyi
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Liu, Vincent
University of PennsylvaniaUnited States
Lorenzen, Anton
University of EdinburghUnited Kingdom
Lozes, Etienne
Université Côte d'Azur; CNRSFrance
Lundén, Daniel
KTH Royal Institute of TechnologySweden
Léchenet, Jean-Christophe
Université Côte d’Azur, Inria
Majid Qureshi, Haya
Alpen-Adria-Universität KlagenfurtAustria
Manea, Florin
University of GöttingenGermany
Mansinghka, Vikash
Massachusetts Institute of Technology
Manzonetto, Giulio
Université Sorbonne Paris Nord; LIPN; CNRSFrance
Marek, Katarzyna
University of Edinburgh
McCall, McKenna
Carnegie Mellon UniversityUnited States
McMillan, Kenneth L.
University of Texas at AustinUnited States
Micinski, Kristopher
Syracuse UniversityUnited States
Milius, Stefan
University of Erlangen-NurembergGermany
Miltner, Anders
Simon Fraser UniversityUnited States
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Mullanix, Reed
University of MinnesotaUnited States
Mulleners, Niek
Utrecht UniversityNetherlands
Mörtberg, Anders
Department of Mathematics, Stockholm UniversitySweden
Near, Joseph P.
University of VermontUnited States
Ngo, Minh
Stevens Institute of TechnologyUnited States
Nguyen, Minh
University of BristolUnited Kingdom
Nguyen, Tuan
National Institute of InformaticsJapan
Noble, James
Research & ProgrammingNew Zealand
O
O'Connor, Liam
University of EdinburghUnited Kingdom
Olausson, Theo X.
Massachusetts Institute of TechnologyUnited States
Olimpieri, Federico
University of LeedsUnited Kingdom
Oliveira Vale, Arthur
Yale UniversityUnited States
Orchard, Dominic
University of Kent, UKUnited Kingdom
P
Pacenza, Francesco
Department of Mathematics and Computer Science, University of CalabriaItaly
Paraskevopoulou, Zoe
Northeastern UniversityUnited States
Parenti, Alessandro
University of Bologna
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Paulson, Lawrence
University of CambridgeUnited Kingdom
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and Technology
Pettorossi, Alberto
University of Rome Tor Vergata, ItalyItaly
Pitts, Andrew M.
University of CambridgeUnited Kingdom
Polgreen, Elizabeth
University of EdinburghUnited Kingdom
Péchoux, Romain
Université de Lorraine; CNRS; Inria; LORIAFrance
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Rainforth, Tom
Department of Statistics, University of Oxford
Ramsay, Steven
University of BristolUnited Kingdom
Rindisbacher, Vivien
Boston UniversityUnited States
Rodrigues, Emanuel
HASLab & INESC TEC, University of Minho
Ross, Neil Julien
Dalhousie UniversityCanada
Rubiano, Thomas
LIPN – UMR 7030 Université Sorbonne Paris Nord
Santamaria, Alessio
University of Pisa; University of SussexItaly
Sartor, Giovanni
University of BolognaItaly
Schafer, Burkhard
University of Edinburgh
Schröder, Lutz
University of Erlangen-NurembergGermany
Sehgal, Atharva
University of Texas, AustinUnited States
Selinger, Peter
Dalhousie UniversityCanada
Shen, Gan
University of California, Santa Cruz, USA
Shi, Elaine
Carnegie Mellon UniversityUnited States
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Silber, Georges-André
Mines Paris, PSL UniversityFrance
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Son, Tran Cao
New Mexico State UniversityUnited States
Spitters, Bas
Concordium Blockchain Research Center, Aarhus University
Stanford, Caleb
University of California, San Diego; University of California, DavisUnited States
Steuwer, Michel
University of EdinburghUnited Kingdom
Stiévenart, Quentin
Vrije Universiteit BrusselBelgium
T
Ta, Quang-Trung
National University of SingaporeSingapore
Tarau, Paul
University of North TexasUnited States
Tizpaz-Niari, Saeid
University of Texas at El PasoUnited States
Tsushima, Kanae
National Institute of Informatics, JapanJapan
Urban, Josef
Czech Technical University in PragueCzechia
Urbat, Henning
University of Erlangen-NurembergGermany
Utting, Mark
The University of QueenslandAustralia
Van den Broeck, Guy
University of California at Los Angeles
Van der Plas, Jens
Software Languages Lab, Vrije Universiteit BrusselBelgium
van der Rest, Cas
Delft University of TechnologyNetherlands
van Doorn, Floris
University of PittsburghUnited States
van Gool, Sam
Université Paris Cité / IRIF
Van Roy, Peter
Université catholique de LouvainBelgium
Verscht, Lena
RWTH Aachen UniversityGermany
Viswanathan, Mahesh
University of Illinois at Urbana-ChampaignUnited States
Walters, Jacob
University of Edinburgh
Wang, Chao
University of Southern CaliforniaUnited States
Watson, Chris
University of PennsylvaniaUnited States
Webb, Brae J.
The University of QueenslandAustralia
Wise (DiVincenzo), Jenna
Carnegie Mellon UniversityUnited States
Wissmann, Thorsten
Radboud University NijmegenNetherlands
Wong, Lionel
Massachusetts Institute of TechnologyUnited States
Wong, Meng Weng
Singapore Management UniversitySingapore
Wright, Robert
The University of Edinburgh, UK
Wrigstad, Tobias
Uppsala University, SwedenSweden
Xue, Runze
CSE Department at the University of Michigan
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Ying, Mingsheng
Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina
Zakowski, Yannick
University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance
Zavalia, Lucas
Florida State University TallahasseeUnited States
Zhang, Haoran
University of PennsylvaniaUnited States
Zhou, Li
MPI-SP; Institute of Software at Chinese Academy of SciencesGermany
Zhou, Litao
University of Hong KongChina