Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (848)

Abdulaziz, Mohammad
Technische Universität MünchenGermany
Adams, Michael D.
University of MichiganUnited States
Ahmed, Amal
Northeastern University, USAUnited States
Aho, Alfred V.
Columbia UniversityUnited States
Alglave, Jade
University College LondonFrance
Almeida, Bernardo
LASIGE, Faculty of Sciences, University of Lisbon
Arceri, Vincenzo
University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly
Bailey, Chris
University of Illinois College of Law
Balduccini, Marcello
Saint Joseph's University, USA
Banovic, Nikola
University of Michigan
Barrett, Clark
Stanford UniversityUnited States
Bastys, Iulia
Chalmers University of TechnologySweden
Baumann, Pascal
Max Planck Institute for Software Systems (MPI-SWS)Germany
Bayani, David
Carnegie Mellon University's School of Computer ScienceUnited States
Baydin, Atılım Güneş
Department of Engineering Science, University of Oxford
Beckedorf, Janis
Ruprecht-Karls-Universität Heidelberg, Heidelberg, Germany
Bellusci, Pierpaolo
University of CalabriaItaly
Beutner, Raven
CISPA Helmholtz Center for Information Security, Germany
Bilik, Jeffrey
University of Michigan
Biri, Nicolas
Luxembourg Institute of Science and Technology
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Bolz-Tereick, Carl Friedrich
Heinrich-Heine-Universität DüsseldorfGermany
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Boulmé, Sylvain
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Brennan, Tegan
Stevens Institute of TechnologyUnited States
Burghardt, Tobias
University of TübingenGermany
Buzzard, Kevin
Imperial College London
Byrd, William E.
University of Alabama at Birmingham, USAUnited States
Böther, Maximilian
Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
Cahill, Nina
University of Michigan
Campbell, Eric
Cornell UniversityUnited States
Canelas, Paulo
LASIGE, Faculdade de Ciências da Universidade de Lisboa
Carro, Manuel
IMDEA Software Institute and T.U. of Madrid (UPM)Spain
Castagna, Giuseppe
CNRS - Université de Paris, FranceFrance
Cauligi, Sunjay
University of California at San Diego, USA
Chan, Jonathan
University of British Columbia (UBC)Canada
Chandrasekharan, Arun
OneSpin Solutions, MunichGermany
Chiara Meo, Maria
University “G. d’Annunzio” of Chieti-PescaraItaly
Christiansen, Jan
Flensburg University of Applied Sciences, Germany
Ciccone, Luca
Università di Torino, ItalyItaly
Cifuentes, Cristina
Oracle LabsAustralia
Cortesi, Agostino
Università Ca' Foscari VeneziaItaly
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
Coupette, Corinna
Max Planck Institute for Informatics, Saarbrücken, Germany
D
D'Antoni, Loris
University of Wisconsin-Madison, USA
David, João
LASIGE, Faculdade de Ciências da Universidade de Lisboa
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Donato, Pablo
Ecole polytechnique
Dunn, Lawrence
University of PennsylvaniaUnited States
Dutle, Aaron
NASA Langley Research CenterUnited States
Dávila, Jacinto
Contratos Lógicos. C.A. and Universidad de Los Andes
Eichholz, Matthias
TU Darmstadt, Germany
Ellison, Tosha
Fintech Open Source FoundationUnited States
Ernst, Gidon
Ludwig Maximilian University of MunichGermany
Escher, Nel
University of Michigan
Espada, Guilherme
LASIGE, Faculdade de Ciências da Universidade de Lisboa
Fasse, Justus
Université Grenoble-Alpes; KU Leuven
Feng, Yu
University of California at Santa BarbaraUnited States
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Fiore, Marcelo
Computer Laboratory, University of Cambridge
Firsov, Denis
Tallinn University of TechnologyEstonia
Fonseca, Alcides
LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal
Fu, Chen
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Fungwacharakorn, Wachara
National Institute of InformaticsJapan
Gamboa, Catarina
LASIGE, Faculdade de Ciências da Universidade de Lisboa
Gavazzo, Francesco
University of Bologna & INRIA Sophia Antipolis
Ghalayini, Jad Elkhaleq
University of CambridgeUnited Kingdom
Ghiorzi, Enrico
Italian Institute of TechnologyItaly
Gladstein, Vladimir
MPI-SWS, JetBrains Research and St Petersburg University
González-Huesca, Lourdes del Carmen
National Autonomous University of MexicoMexico
Gorinova, Maria I.
The University of Edinburgh
Gourdin, Leo
Université Grenoble-Alpes
Graf, Sebastian
Karlsruhe Institute of TechnologyGermany
Green, Ben
University of Michigan
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grodin, Harrison
Carnegie Mellon University
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
Hahn, Ernst Moritz
University of TwenteNetherlands
Harper, Robert
Carnegie Mellon University, USAUnited States
Hartung, Dirk
Center for Legal Technology and Data Science, Bucerius Law School, Hamburg, Germany
Henglein, Fritz
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark
Henzinger, Thomas A.
IST Austria, Austria
Hermenegildo, Manuel
IMDEA Software Institute and T.U. of Madrid (UPM)
Heunen, Chris
University of EdinburghUnited Kingdom
Hinze, Ralf
Technische Universität Kaiserslautern
Hirn, Denis
University of TübingenGermany
Hirsch, Andrew K.
Max Planck Institute for Software SystemsGermany
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Hosking, Tony
Australian National UniversityAustralia
Hu, Denghang
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Hui, John
Columbia University, New YorkUnited States
Hur, Chung-Kil
Seoul National UniversitySouth Korea
Huseby, Jennifer Jiyoung
University of Michigan
Ikebuchi, Mirai
National Institute of Informatics, Japan
Ingle, Apoorv
University of IowaUnited States
Irfan, Ahmed
Stanford UniversityUnited States
Jha, Somesh
University of Wisconsin, MadisonUnited States
Johann, Patricia
Appalachian State University
Johnson, Brittany
George Mason UniversityUnited States
Johnson, Daniel D.
Google ResearchCanada
Junges, Sebastian
University of California, BerkeleyUnited States
K
Kaarsgaard, Robin
University of EdinburghUnited Kingdom
Kaminski, Benjamin Lucien
Saarland University and University College LondonGermany
Karimov, Toghrul
Max Planck Institute for Software Systems
Katz, Daniel Martin
Illinois Tech – Chicago Kent College of Law, Chicago, IL, USA
Kesner, Delia
IRIF, France / University of Paris Diderot, France
Kinder, Johannes
Bundeswehr University MunichGermany
Klein, Gerwin
CSIRO's Data61 and UNSW SydneyAustralia
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Kobayashi, Naoki
University of Tokyo, JapanJapan
Koronkevich, Paulette
University of British Columbia
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Kretinsky, Jan
Technical University of MunichGermany
Krishna, Siddharth
Microsoft ResearchUnited Kingdom
Krishnamurthi, Shriram
Brown University, United States
Krogmeier, Paul
University of Illinois at Urbana-Champaign
Kruse, Matthis
CISPA Helmholtz Center for Information SecurityGermany
Laurel, Jacob
University of Illinois at Urbana-Champaign
Lefaucheux, Engel
Max Planck Institute for Software Systems
Lenglet, Sergueï
Université de Lorraine, France
Lew, Alexander K.
Massachusetts Institute of Technology, USAUnited States
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
Lin, Shang-Wei
Nanyang Technological University, SingaporeSingapore
Liu, Alice
University of Michigan
Liu, Depeng
Institute of Software, Chinese Academy of SciencesChina
Loehr, Devon
Princeton University, USA
Mahajan, Avishkar
Singapore Management University
Maillard, Kenji
Inria Nantes & University of Chile
Makwana, Dhruv
University of Cambridge
Mann, Makai
Stanford UniversityUnited States
Mariano, Benjamin
University of Texas at Austin
Marshall, Daniel
University of Kent, UKUnited Kingdom
Matthes, Ralph
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, ToulouseFrance
Mazzotta, Giuseppe
University of CalabriaItaly
McCarty, L. Thorne
Rutgers, The State University of New Jersey
Melliès, Paul-André
CNRS - Université de Paris, France
Mezini, Mira
TU Darmstadt, GermanyGermany
Mikell, Sam
University of Michigan
Milano, Mae
University of California, Berkeley
Miller, Alexander
University of Michigan
Milo, Mikkel
Concordium Blockchain Research Center, Aarhus University
Miltner, Anders
The University of Texas at Austin, Texas, USAUnited States
Mirliaz, Solène
ENS Rennes / IRISA / InriaFrance
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Moerman, Joshua
Open University of the NetherlandsNetherlands
Mogensen, Torben
DIKU, University of CopenhagenDenmark
Mordido, Andreia
Lasige / Faculty of Sciences, Universidade de Lisboa
Morris, Jason
Service Canada, Lexpedite Legal Technology
Muller, Stefan K.
Illinois Institute of TechnologyUnited States
Müller-Olm, Markus
University of MünsterGermany
Nardino, Nicolas
École normale supérieure de Lyon
Nash, Oliver
Imperial College, London
Nelson, Luke
University of WashingtonUnited States
Nguyen, Minh
University of BristolUnited Kingdom
Niemetz, Aina
Stanford UniversityUnited States
Niu, Yue
Carnegie Mellon University
Nötzli, Andres
Stanford University, USAUnited States
Olliaro, Martina
Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly
Onderka, Jan
Czech Technical University in Prague
Ouaknine, Joël
Max Planck Institute for Software Systems and University of Oxford
Padovani, Luca
University of Turin, ItalyItaly
Palsberg, Jens
University of California at Los AngelesUnited States
Parkinson, Matthew
Microsoft Research, UKUnited Kingdom
Parreaux, Lionel
Hong Kong University of Science and TechnologyChina
Paszke, Adam
Google ResearchPoland
Patrignani, Marco
CISPA Helmholtz Center for Information Security / Stanford University
Pichon-Pharabod, Jean
Aarhus University
Pickering, Matthew
University of Bristol, UKUnited Kingdom
Pingali, Keshav
The University of Texas at Austin
Podelski, Andreas
University of Freiburg, GermanyGermany
Porncharoenwase, Sorawee
University of WashingtonUnited States
Prakriya, Gautam
Chinese University of Hong Kong
Preiner, Mathias
Stanford UniversityUnited States
Pujet, Loïc
Gallinette Project-Team, Inria
Pulte, Christopher
University of Cambridge, UK
Purser, David
Max Planck Institute for Software Systems
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Ragan-Kelley, Jonathan
Massachusetts Institute of TechnologyUnited States
Ramesh, Divya
University of Michigan
Ratschan, Stefan
The Czech Academy of Sciences
Reale, Kristian
Department of Mathematics and Computer Science University of Calabria - DLVSystem S.r.l.Italy
Reimer, Sven
OneSpin Solutions, MunichGermany
Ricca, Fracesco
University of CalabriaItaly
Richmond, Tania
INRIA, Rennes, France then DGA - Maîtrise de l’Information
Ringer, Talia
University of Illinois at Urbana-ChampaignUnited States
Roche, Niall
Mishcon de Reya,University College London,Accord Project
Rossberg, Andreas
Dfinity StiftungGermany
Ryu, Sukyoung
KAISTSouth Korea
S
S. Paranhos, Fabrício
Universidade Federal de Goiás
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Savary Bélanger, Olivier
Galois, Inc.United States
Schmid, Georg Stefan
EPFL, SwitzerlandSwitzerland
Scholl, Christoph
University of FreiburgGermany
Schrader, Micha
Technische Universität KaiserslauternGermany
Seidl, Martina
Johannes Kepler University LinzAustria
Seshia, Sanjit
UC BerkeleyUnited States
Sestoft, Peter
IT University of CopenhagenDenmark
Seufert, Tobias
University of FreiburgGermany
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Six, Cyril
Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Spall, Sarah
Indiana University
Stark, Kathrin
Princeton University, USAUnited States
Stefanesco, Leo
IRIF, University Paris Diderot & CNRSFrance
Strecker, Martin
Singapore Management University
Strub, Pierre-Yves
Ecole PolytechniqueFrance
Stump, Aaron
The University of Iowa, USAUnited States
Suenaga, Kohei
Graduate School of Informatics, Kyoto UniversityJapan
Tan, Bryan
University of California, Santa Barbara
Tan, Shangyin
Purdue UniversityUnited States
Tannen, Val
University of Pennsylvania, USA
Tarau, Paul
University of North TexasUnited States
Tatlock, Zachary
University of WashingtonUnited States
Tavares, Zenna
Massachusetts Institute of Technology
Thakur, Aditya V.
University of California at DavisUnited States
Thinniyam, Ramanathan S.
Max Planck Institute for Software Systems (MPI-SWS)
Tobin-Hochstadt, Sam
Indiana University
Torlak, Emina
University of WashingtonUnited States
Tourret, Sophie
Max Planck Institute for Informatics
Trejo Nuñez, Adrian
The University of Texas at AustinUnited States
Tsukada, Takeshi
Chiba University, JapanJapan
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina
Urban, Caterina
INRIA & École Normale Supérieure | Université PSLFrance
van Doorn, Floris
University of PittsburghUnited States
van Engers, Tom
Leibniz Institute / University of Amsterdam / TNO
Varonka, Anton
Max Planck Institute for Software Systems
Vasconcelos, Vasco T.
LASIGE, Faculty of Sciences, University of LisbonPortugal
Ventura, Daniel
Universidade Federal de Goiás
Verbeek, Freek
Open University of the Netherlands, The Netherlands
Walker, David
Princeton University, USA
Wang, Yisu Remy
University of WashingtonUnited States
Wang, Yuting
John Hopcroft Center for Computer Science - Shanghai Jiao Tong UniversityChina
Wang, Zhuyang
University of Minnesota
Wei, Guannan
Purdue UniversityUnited States
Welp, Tobias
OneSpin Solutions, MunichGermany
Werner, Benjamin
Ecole polytechniqueFrance
Whiteland, Markus A.
Max Planck Institute for Software Systems
Wickerson, John
Imperial College LondonUnited Kingdom
Wiedijk, Freek
Radboud University NijmegenNetherlands
Willsey, Max
University of WashingtonUnited States
Worrell, James
University of OxfordUnited Kingdom
Wu, Zhilin
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
X
Xie, Ningning
University of CambridgeUnited Kingdom
Yang, Rem
University of Illinois at Urbana-ChampaignTaiwan
Yuan, Charles
Massachusetts Institute of TechnologyUnited States
Zetzsche, Georg
Max Planck Institute for Software Systems (MPI-SWS)Germany
Zhang, Danfeng
Pennsylvania State UniversityUnited States
Zhang, Ling
John Hopcroft Center for Computer Science - Shanghai Jiao Tong UniversityChina
Zhang, Yihong
University of WashingtonUnited States
Zhao, Zirui Neil
University of Illinois at Urbana-ChampaignUnited States
Zhi-Xuan, Tan
Massachusetts Institute of Technology
Zilberstein, Noam
Cornell UniversityUnited States