Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (849)

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
Aiken, Alex
Stanford 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
Bao, Jialu
Cornell UniversityUnited States
Barrett, Clark
Stanford UniversityUnited States
Bastys, Iulia
Chalmers University of TechnologySweden
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 ParisFrance
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
Chistikov, Dmitry
University of WarwickUnited Kingdom
Christiansen, Jan
Flensburg University of Applied Sciences, Germany
Ciccone, Luca
University of TurinItaly
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
Ellison, Tosha
Fintech Open Source FoundationUnited States
Erbsen, Andres
Massachusetts Institute of TechnologyUnited 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
University of CambridgeUnited Kingdom
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
Ghalayini, Jad Elkhaleq
University of CambridgeUnited Kingdom
Ghiorzi, Enrico
Italian Institute of TechnologyItaly
Gladstein, Vladimir
MPI-SWS; St. Petersburg University; JetBrains ResearchGermany
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 UniversityUnited States
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 UniversityUnited States
Hartung, Dirk
Center for Legal Technology and Data Science, Bucerius Law School, Hamburg, Germany
He, Wenlei
FacebookUnited States
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
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Hosking, Tony
Australian National UniversityAustralia
Hu, Denghang
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
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 InformaticsJapan
Ingle, Apoorv
University of IowaUnited States
Irfan, Ahmed
Stanford UniversityUnited States
Jha, Somesh
University of WisconsinUnited States
Johann, Patricia
Appalachian State University
Johnson, Brittany
George Mason UniversityUnited States
Johnson, Daniel D.
Google ResearchCanada
Johnson, Evan
University of California at San DiegoUnited States
Junges, Sebastian
University of California, BerkeleyUnited States
K
Kaarsgaard, Robin
University of EdinburghUnited Kingdom
Kaminski, Benjamin Lucien
Saarland University and University College LondonGermany
Katz, Daniel Martin
Illinois Tech – Chicago Kent College of Law, Chicago, IL, USA
Kesner, Delia
Université de Paris; CNRS; IRIF; Institut Universitaire de FranceFrance
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
Koenig, Jason R.
Stanford UniversityUnited States
Kolosick, Matthew
University of California at San DiegoUnited States
Kornell, Andre
Tulane UniversityUnited States
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-ChampaignUnited States
Kruse, Matthis
CISPA Helmholtz Center for Information SecurityGermany
Laurel, Jacob
University of Illinois at Urbana-ChampaignUnited States
Lenglet, Sergueï
Université de Lorraine, France
Lew, Alexander K.
Massachusetts Institute of Technology, USAUnited States
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
Liu, Alice
University of Michigan
Liu, Amanda
Massachusetts Institute of TechnologyUnited States
Liu, Depeng
Institute of Software, Chinese Academy of SciencesChina
Loehr, Devon
Princeton UniversityUnited States
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 AustinUnited States
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
McNally, Christopher
Massachusetts Institute of TechnologyUnited States
Melliès, Paul-André
CNRS; Université de ParisFrance
Mestre, Julián
Facebook; University of SydneyUnited States
Mikell, Sam
University of Michigan
Milano, Mae
University of California, Berkeley
Miller, Alexander
University of Michigan
Milo, Mikkel
Concordium Blockchain Research Center, Aarhus University
Mirliaz, Solène
ENS Rennes / IRISA / InriaFrance
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Mislove, Michael
Tulane UniversityUnited 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 UniversityUnited States
Nötzli, Andres
Stanford University, USAUnited States
Oliveira Vale, Arthur
Yale UniversityUnited States
Olliaro, Martina
Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly
Onderka, Jan
Czech Technical University in Prague
Padovani, Luca
University of TurinItaly
Palsberg, Jens
University of California at Los AngelesUnited States
Parkinson, Matthew
Microsoft Research, UKUnited Kingdom
Parreaux, Lionel
Hong Kong University of Science and Technology
Paszke, Adam
Google ResearchPoland
Patrignani, Marco
CISPA Helmholtz Center for Information Security / Stanford University
Pichon-Pharabod, Jean
Aarhus University
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 KongChina
Preiner, Mathias
Stanford UniversityUnited States
Pulte, Christopher
University of Cambridge, UK
Pupyrev, Sergey
United States
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
Ravi Narayan, Shravan
University of California at San DiegoUnited States
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
Sangiorgi, Davide
University of Bologna; InriaItaly
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Satya, Kris
Georgia Institute of TechnologyUnited 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
Szamozvancev, Dmitrij
University of CambridgeUnited Kingdom
Tan, Bryan
University of California at Santa BarbaraUnited States
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
Tobin-Hochstadt, Sam
Indiana University
Torlak, Emina
University of WashingtonUnited States
Tourret, Sophie
Max Planck Institute for Informatics
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina
Unno, Hiroshi
University of Tsukuba; RIKEN AIPJapan
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
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 UniversityUnited States
Wang, Lei
FacebookUnited States
Wang, Xi
University of WashingtonUnited States
Wang, Yisu Remy
University of WashingtonUnited States
Wang, Zhuyang
University of MinnesotaUnited States
Wang, Zi
University of Wisconsin-MadisonUnited States
Wei, Guannan
Purdue UniversityUnited States
Welp, Tobias
OneSpin Solutions, MunichGermany
Werner, Benjamin
Ecole polytechniqueFrance
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
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Yang, Rem
University of Illinois at Urbana-ChampaignUnited States
Yu, Hongtao
FacebookUnited States
Yuan, Charles
Massachusetts Institute of TechnologyUnited States
Zhang, Danfeng
Pennsylvania State UniversityUnited States
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
Ö
Öhman, Joakim
IMDEA Software Institute; Universidad Politécnica de MadridSpain