ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (973)

Abramsky, Samson
University of OxfordUnited Kingdom
Accattoli, Beniamino
Inria & Ecole Polytechnique
Ahmed, Amal
Northeastern University, USAUnited States
Amin, Nada
University of CambridgeUnited Kingdom
Ariola, Zena M.
University of Oregon, USA
Balliu, Musard
KTH Royal Institute of TechnologySweden
Barbon, Gianluca
Universit� Grenoble Alpes, Inria, LIG
Bauer, Lujo
Carnegie Mellon UniversityUnited States
Bisping, Benjamin
Technische Universität BerlinGermany
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Bloem, Roderick
Institute of Software Technology, Graz University of Technology
Bogomolov, Sergiy
Australian National UniversityAustralia
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Brady, Edwin
University of St. Andrews, UKUnited Kingdom
Bures, Tomas
Charles University, Czech RepublicCzechia
Buro, Samuele
Università degli Studi di Verona
Caravagna, Giulio
Institute of Cancer ResearchUnited Kingdom
Caruana, Caroline
University of Malta
Castro, Pablo
Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina
Cherry, Elizabeth
Rochester Institute of TechnologyUnited States
Ciobanu, Gabriel
Alexandru Ioan Cuza University of Iasi
Cleophas, Loek
Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands
Cogumbreiro, Tiago
University of Massachusetts BostonUnited States
Das, Ankush
Carnegie Mellon UniversityUnited States
De Jong, Hidde
INRIA Grenoble - Rhone-AlpesFrance
de Muijnck-Hughes, Jan
University of GlasgowUnited Kingdom
De, Abhishek
IRIF, CNRS, France
Denney, Ewen
NASA Ames Research CenterUnited States
Dietsch, Daniel
University of Freiburg
Donze, Alexandre
University of California, Berkeley
Downen, Paul
University of Oregon, USA
Dreossi, Tommaso
University of California at BerkeleyUnited States
Dyrkolbotn, Sjur Kristoffer
Western Norway University of Applied Sciences
E
Eberhart, Clovis
National Institute of Informatics, Japan
Eilers, Marco
ETH ZurichSwitzerland
Emre, Mehmet
University of California, Santa Barbara
Fages, François
Inria Saclay - Ile de FranceFrance
Flanagan, Cormac
University of California, Santa CruzIreland
Fowler, Simon
The University of EdinburghUnited Kingdom
Furia, Carlo A.
Università della Svizzera italiana (USI)Switzerland
Férée, Hugo
University of Kent, UKUnited Kingdom
Gay, Simon J.
University of Glasgow, UKUnited Kingdom
Giallorenzo, Saverio
Alma Mater Studiorum - Università di BolognaItaly
Giese, Holger
Hasso Plattner Institute, University of PotsdamGermany
Gimenez Manuel, Jose Gines
Middlesex UniversityUnited Kingdom
Giunti, Marco
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
Gligoric, Milos
University of Texas at AustinUnited States
Gollmann, Dieter
Hamburg University of TechnologyGermany
Gordon, Colin
Drexel UniversityUnited States
Grosu, Radu
Vienna University of TechnologyAustria
Grumberg, Orna
Technion – Israel Institute of TechnologyIsrael
Guerrieri, Giulio
University of BathUnited Kingdom
Gurov, Dilian
KTH Royal Institute of TechnologySweden
Guttman, Joshua
Worcester Polytechnic InstituteUnited States
Hague, Matthew
Royal Holloway, University of LondonUnited Kingdom
Hartmanns, Arnd
University of TwenteNetherlands
Hennicker, Rolf
Ludwig Maximilians University Munich, Germany
Heule, Marijn
The University of Texas at AustinUnited States
Heunen, Chris
University of EdinburghUnited Kingdom
Hirschowitz, Tom
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance
Hoenicke, Jochen
Universität FreiburgGermany
Hofmann, Martin
LMU Munich                    (1965-2018)Germany
Hsu, Justin
University of Wisconsin-Madison, USAUnited States
Huth, Michael
Imperial College LondonUnited Kingdom
Hüttel, Hans
Department of Computer Science, Aalborg UniversityDenmark
Immerman, Neil
University of Massachusetts, Amherst
Jacobs, Bart
Radboud University Nijmegen
Jacobs, Bart
imec-DistriNet, Dept. CS, KU LeuvenBelgium
Jacobs, Swen
CISPA Helmholtz Center for Information SecurityGermany
Jaffar, Joxan
National University of SingaporeSingapore
Jansen, Nils
RWTH Aachen University
Johann, Patricia
Appalachian State UniversityUnited States
Jourdan, Jacques-Henri
CNRS, LRI, Université Paris-SudFrance
Julius, Agung
Rensselaer Polytechnic InstituteUnited States
Junges, Sebastian
RWTH Aachen University, Germany
K
Kafle, Bishoksan
The university of MelbourneAustralia
Kappel, Gerti
Technical University of ViennaAustria
Khurshid, Sarfraz
University of Texas at AustinUnited States
Kiesl, Benjamin
CISPA Helmholtz Center for Information SecurityGermany
Kindler, Ekkart
Technical University of DenmarkDenmark
Kirsten, Michael
Karlsruhe Institute of Technology (KIT)Germany
Klauck, Michaela
Saarland Informatics Campus, Saarland UniversityGermany
Kokke, Wen
University of EdinburghUnited Kingdom
Komondoor, Raghavan
Indian Institute of Science, BangaloreIndia
Krebbers, Robbert
Delft University of TechnologyNetherlands
Kupke, Clemens
University of StrathclydeUnited Kingdom
Kuru, Ismail
Drexel UniversityUnited States
Křikava, Filip
Czech Technical UniversityCzechia
L
La Torre, Salvatore
Università degli Studi di SalernoItaly
Lampropoulos, Leonidas
University of PennsylvaniaGreece
Laouar, Alexis
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
Laurenti, Luca
University of OxfordUnited Kingdom
Lenglet, Sergueï
University of Lorraine, France
Lerch, Lucie
Czech Technical University in PragueCzechia
Leroy, Vincent
University of Grenoble - CNRS
Lin, Yu-Yang
Queen Mary University of London
Manjunath, Niveditha
Austrian Institute of Technology
Martinelli, Fabio
Istituto di Informatica e TelematicaItaly
Mauro, Jacopo
University of Southern Denmark
Moedersheim, Sebastian A.
Technical University of DenmarkDenmark
Morris, J. Garrett
University of Kansas, USAUnited States
Moulin, Cecile
Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623
Muscholl, Anca
Université de Bordeaux / LaBRIFrance
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
N
Narasimhamurthy, Monal
University of Colorado, BoulderUnited States
Neves, Renato
University of Minho & INESC TEC
Nickovic, Dejan
Austrian Institute of Technology
Nutz, Alexander
University of Freiburg, Germany
O
Ochremiak, Joanna
University of CambridgeUnited Kingdom
Orejas, Fernando
Universitat Politècnica de Catalunya, Spain
Owens, Scott
University of Kent, UKUnited Kingdom
Park, Junkil
University of PennsylvaniaUnited States
Patrignani, Marco
Stanford University & CISPA Helmholtz Center for Information SecurityUnited States
Pattinson, Dirk
Australian National UniversityAustralia
Pelenitsyn, Artem
Northeastern UniversityUnited States
Peres, Sabine
Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623.
Petrisan, Daniela
IRIF, Université Paris DiderotFrance
Peyton Jones, Simon
Microsoft, UK
Podelski, Andreas
University of Freiburg, GermanyGermany
Polikarpova, Nadia
University of California, San DiegoUnited States
Probst, Christian
Unitec Institute of TechnologyNew Zealand
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
Păsăreanu, Corina S.
NASA Ames Research CenterUnited States
Q
Quatmann, Tim
RWTH Aachen UniversityGermany
rajkhowa, pritom
Ramananandro, Tahina
Microsoft Research, n.n.United States
Rensink, Arend
University of Twente, The NetherlandsNetherlands
Riesco, Adrian
Universidad Complutense de MadridSpain
Rot, Jurriaan
Radboud University Nijmegen
Régis-Gianas, Yann
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France
Sabelfeld, Andrei
Chalmers University of TechnologySweden
Salaün, Gwen
University of Grenoble Alpes
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santos-Buitrago, Beatriz
Seoul National University
Santos-Garcia, Gustavo
Universidad de Salamanca
Schalk, Andrea
University of Manchester, UKUnited Kingdom
Schindler, Tanja
University of Freiburg
Schürmann, Carsten
IT University of CopenhagenDenmark
Sekiyama, Taro
National Institute of InformaticsJapan
Seshia, Sanjit
University of California, BerkeleyUnited States
Silva, Alexandra
University College LondonUnited Kingdom