Write a Blog >>
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (603)

Ackerman, Nathanael L.
Harvard University
Albarghouthi, Aws
University of Wisconsin–Madison
Andrysco, Marc
University of California, San DiegoUnited States
Antoy, Sergio
Kiel University
Bansal, Suguman
Rice University, USAIndia
Barowy, Dan
University of Massachusetts AmherstUnited States
Batty, Mark
University of Cambridge
Bhaskaracharya, Somashekaracharya G
Indian Institute of Science and National Instruments
Bichhawat, Abhishek
Saarland University
Bielik, Pavol
ETH Zurich, SwitzerlandSlovakia
Cardelli, Luca
Microsoft Research and University of Oxford
Carro, Manuel
IMDEA Software Institute and T.U. of Madrid (UPM)
Castagna, Giuseppe
Paris Diderot University & CNRSItaly
Ceze, Luis
University of Washington, USABrazil
Chen, Sheng
University of louisiana at Lafayette
Cheung, Shing-Chi
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Coquand, Thierry
Chalmers University of Technology, Sweden
Cortesi, Agostino
Università Ca' Foscari Venezia
Curien, Pierre-Louis
Univ. Paris Diderot and INRIA Paris-Rocquencourt
de Moura, Leonardo
Microsoft Research, Redmond
Devriese, Dominique
iMinds - Distrinet, KU LeuvenBelgium
Ding, Chen
University of RochesterUnited States
El-Yaniv, Ran
Technion, Israel Institute of Technology
Enea, Constantin
LIAFA, Université Paris Diderot
Felleisen, Matthias
Northeastern UniversityGermany
Feltey, Daniel
Northeastern University
Feng, Xinyu
University of Science and Technology of China
Friedman, Harvey
Ohio State University
Gilray, Thomas
University of UtahUnited States
Gimenez, Stéphane
University of Innsbruck
Greenman, Ben
Northeastern UniversityUnited States
Grossman, Dan
University of Washington, USA
Hanus, Michael
Kiel University
Harper, Robert
Carnegie Mellon UniversityUnited States
Hölzl, Johannes
Technische Universität MünchenGermany
Immerman, Neil
University of Massachusetts, Amherst
Inoue, Jun
National Institute of Advanced Industrial Science and Technology, Japan
K
Kaliszyk, Cezary
University of Innsbruck
Kaminski, Benjamin Lucien
RWTH Aachen University
Kang, Jeehoon
Seoul National UniversityKorea, South
Katoen, Joost-Pieter
RWTH Aachen University
Katz, Omer
Technion, Israel Institute of TechnologyIsrael
Kim, Yoonseung
Seoul National University (South Korea)
Kjellerstrand, Håkan
CUNY Brooklyn College and Graduate Center
Kochems, Jonathan
Department of Computer Science, University of Oxford
Kotelnikov, Evgenii
Chalmers University of Technology
Lampropoulos, Leonidas
University of PennsylvaniaGreece
Leijen, Daan
Microsoft Research
Liu, Yu David
State University of New York (SUNY) BinghamtonUnited States
Mangal, Ravi
Georgia Institute of Technology
Martens, Chris
Carnegie Mellon UniversityUnited States
Miyamoto, Yohei
Graduate School of Informatics, Kyoto University
Moser, Georg
University of Innsbruck
Mukund, Madhavan
Chennai Mathematical InstituteIndia
Munch-Maccagnoni, Guillaume
Computer Laboratory, University of CambridgeFrance
Murray, Richard M.
California Institute of Technology
Nakazawa, Koji
Graduate School of Information Science, Nagoya University
Nandi, Chandrakana
University of Washington, USAIndia
O
Octeau, Damien
University of Wisconsin and Pennsylvania State University
Orchard, Dominic
Imperial College LondonUnited Kingdom
Otop, Jan
University of WrocławPoland
Parker, David
University of BirminghamUnited Kingdom
Petrucciani, Tommaso
DIBRIS, Università di Genova, Italy & PPS, Université Paris Diderot, France
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Pąk, Karol
University of Bialystok, Institute of Computer Science
Rastogi, Aseem
University of Maryland, College Park
Raychev, Veselin
ETH ZurichBulgaria
Reger, Giles
University of Manchester
Roy, Daniel
University of Toronto
Russell, Stuart
University of California, Berkeley
Schaper, Michael
University of Innsbruck
Smith, Calvin
University of Wisconsin - Madison
Svenningsson, Josef
Chalmers University of Technology, Sweden
Swamy, Nikhil
Microsoft ResearchUnited States
Takikawa, Asumu
Northeastern UniversityUnited States
Tobin-Hochstadt, Sam
Indiana UniversityUnited States
Tribastone, Mirco
IMT Institute for Advanced Studies Lucca, Italy
Tschaikowski, Max
IMT Institute for Advanced Studies Lucca, Italy
Turetsky, Emma
CS Dept., Univ. of Wisconsin-Madison
Urban, Caterina
Inria & École Normale Supérieure | Université PSLFrance
van Antwerpen, Hendrik
Delft University of Technology, Netherlands
Van Wyk, Eric
University of MinnesotaUnited States
Vandin, Andrea
IMT Institute for Advanced Studies Lucca, ItalyItaly
Vella, Flavio
Sapienza University of Rome, Italy
Vojnar, Tomáš
Brno University of Technology Czechia
Voronkov, Andrei
University of Manchester
Walkingshaw, Eric
Oregon State UniversityUnited States
Wickerson, John
Imperial College LondonUnited Kingdom
Wolff, Sebastian
Fraunhofer ITWM and TU Kaiserslautern
Wu, Rongxin
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Xiao, Xiao
The Hong Kong University of Science and Technology
Yallop, Jeremy
University of Cambridge, UK
Yoshida, Nobuko
Imperial College London, UK