ETAPS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (390)

Jorge A. Navas SRI International United States Committee Member in Program Committee within the HCVS-track
Guillermo A. Perez University of Antwerp Belgium Author of Reactive Synthesis Background and the Synthesis Competition within the SYNT Camp-track in SYNT Camp 2019 Committee Member in Program Committee within the SYNT Camp-track Committee Member in Organizing Committee within the SYNT Camp-track
Alessandro Abate University of Oxford United Kingdom Committee Member in Program Committee within the HSB-track
Samson Abramsky University of Oxford United Kingdom Chair in Steering Committee within the GaLoP-track
Luca Aceto Gran Sasso Science Institute Italy Committee Member in Program Committee within the FOSSACS-track
Mathieu Acher Committee Member in Program Committee within the InterAVT-track
Amal Ahmed Northeastern University, USA United States Committee Member in Steering Committee for ETAPS 2019
Alessandro Aldini University of Urbino Italy Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Frank Allgower University of Stuttgart Germany Committee Member in Program Committee within the HSB-track
Nada Amin University of Cambridge United Kingdom Committee Member in Program Committee within the ESOP-track
Étienne André LIPN, CNRS UMR 7030, Université Paris 13 France Steering Committee Chair in Steering Committee (and PC) within the SynCoP-track
Farhad Arbab CWI and Leiden University Netherlands Committee Member in Program Committee within the MeTRiD-track
Owen Arden UC Santa Cruz United States Committee Member in Program Committee within the POST-track
Aslan Askarov Aarhus University Denmark Committee Member in Program Committee within the POST-track
Robert Atkey University of Strathclyde Committee Member in Program Committee within the DICE-FOPARA-track
Paul Attie American University of Beirut Lebanon Committee Member in Program Committee within the MeTRiD-track
Juan Carlos Augusto Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Martin Avanzini INRIA Sophia Antipolis, France France PC Member in Program Committee within the DICE-FOPARA-track
Parosh Aziz Abdulla Uppsala University Sweden Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the TACAS-track Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Alessandra Bagnato Softeam Committee Member in Program Committee within the InterAVT-track
Christel Baier TU Dresden, Germany Germany Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Patrick Baillot CNRS & ENS Lyon France Chair in Steering Committee (DICE) within the DICE-FOPARA-track
Musard Balliu KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the POST-track
Stephanie Balzer Carnegie Mellon University United States Committee Member in Program Committee within the ESOP-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Gilles Barthe IMDEA Software Institute Spain Satellite Events in Executive Board for ETAPS 2019
Ezio Bartocci Technische Universität Wien Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the HSB-track
Stylianos Basagiannis United Technologies Research centre Committee Member in Program Committee within the MeTRiD-track Committee Member in Organizing Committee within the InterAVT-track
Lujo Bauer Carnegie Mellon University United States Committee Member in Steering Committee for ETAPS 2019
Richard Bayford Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Najah Ben Said Verimag Committee Member in Program Committee within the SPIoT-track
Saddek Bensalem Verimag Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Stefano Berardi Università di Torino Italy Committee Member in Program Committee within the FASE-track
Lennart Beringer Princeton University United States Committee Member in Program Committee within the DICE-FOPARA-track
Cinzia Bernardeshi Univ. of Pisa Italy Committee Member in Program Committee within the InterAVT-track
Nathalie Bertrand INRIA Rennes Steering Committee Member in Steering Committee within the QAPL-track
Dirk Beyer LMU Munich Germany Committee Member in Steering Committee for ETAPS 2019 Competition chair in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Armin Biere Johannes Kepler University Linz Austria Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Lars Birkedal Aarhus University Denmark Committee Member in Program Committee within the ESOP-track
Nikolaj Bjørner Microsoft Research Committee Member in Program Committee within the HCVS-track
Simon Bliudze INRIA Lillle - Nord Europe France Co-chair in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Roderick Bloem Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the SYNT Camp-track
Achim Blumensath Masaryk University Czech Republic Committee Member in Program Committee within the FOSSACS-track
Laura Bocchi University of Kent United Kingdom PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Chiara Bodei University of Pisa Italy Committee Member in Program Committee within the POST-track
Sergiy Bogomolov Australian National University Australia Committee Member in Program Committee within the HSB-track
Mikolaj Bojanczyk University of Warsaw Poland Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the FOSSACS-track
Johannes Borgström Uppsala University Sweden Committee Member in Program Committee within the ESOP-track
Luca Bortolussi University of Trieste Italy Committee Member in Program Committee within the HSB-track Steering Committee Member in Steering Committee within the QAPL-track
Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick Ireland Committee Member in Organizing Committee within the InterAVT-track
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in Program Committee within the TACAS-track
Patricia Bouyer LSV, CNRS & ENS Cachan, University Paris Saclay France Committee Member in Program Committee within the TACAS-track
Marius Bozga Verimag/CNRS Committee Member in Program Committee within the MeTRiD-track
Jorg Brauer Verified Systems Germany Committee Member in Program Committee within the InterAVT-track
Mario Bravetti Università di Bologna Italy Committee Member in Program Committee within the FASE-track
Jeremy Bryans Coventry University Committee Member in Program Committee within the InterAVT-track
Barbora Buhnova Masaryk University Publicity Chair in Organizing Committee for ETAPS 2019 Speaker of Mentorship Lecture #2 within the Mentoring Workshop-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Tomas Bures Charles University, Czech Republic Czech Republic Committee Member in Program Committee within the MeTRiD-track
Jordi Cabot ICREA - UOC Committee Member in Program Committee within the FASE-track
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Portugal Committee Member in Steering Committee for ETAPS 2019 Chair in Program Committee within the ESOP-track
Georgiana Caltais University of Konstanz Co-chair in Program Committee within the CREST-track
Giulio Caravagna Institute of Cancer Research United Kingdom Committee Member in Program Committee within the HSB-track
Luca Cardelli Microsoft Research and University of Oxford United Kingdom Committee Member in Program Committee within the HSB-track
Ana Cavalcanti University of York United Kingdom Committee Member in Program Committee within the FASE-track
Milan Ceska Brno University of Technology Czech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track Co-chair in Organizing Committee within the ETAPS Workshops-track
Adrien Champion OCamlPro France Committee Member in Program Committee within the HCVS-track
Marsha Chechik University of Toronto Canada Author of Software Assurance in an Uncertain World within the Keynotes-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Yu-Fang Chen Academia Sinica Taiwan Committee Member in Program Committee within the TACAS-track
Elizabeth Cherry Rochester Institute of Technology United States Committee Member in Program Committee within the HSB-track
Michela Chiappalone Italian Institute of Technology Italy Committee Member in Program Committee within the HSB-track
Hana Chockler King's College London Committee Member in Program Committee within the CREST-track
Maria Christakis MPI-SWS Germany Committee Member in Program Committee within the TACAS-track
Agata Ciabattoni TU Wien Austria Committee Member in Program Committee within the FOSSACS-track
Alessandro Cimatti Fondazione Bruno Kessler Italy Committee Member in Program Committee within the TACAS-track
Eugenio Cinquemani INRIA, Grenoble France Committee Member in Program Committee within the HSB-track
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi Committee Member in Program Committee within the PERR-track
Gabriel Ciobanu Alexandru Ioan Cuza University of Iasi Committee Member in Program Committee within the CREST-track
Pierre Clairambault CNRS & ENS Lyon France Chair in Program Committee within the GaLoP-track
Rance Cleaveland University of Maryland United States Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Tiago Cogumbreiro University of Massachusetts Boston United States Committee Member in Program Committee within the PLACES-track
Albert Cohen Google France Committee Member in Program Committee within the SPIoT-track
Thomas Colcombet IRIF, University Paris Diderot and CNRS, France France Author of On infinite duration games within the Keynotes-track in ETAPS 2019 Invited speaker in Invited Speaker within the FOSSACS-track Mentor in Mentors within the ETAPS Mentoring Workshop-track
Maxime Cordy Univ. of Luxemburg Committee Member in Program Committee within the InterAVT-track
Flavio Corradini University of Camerino Italy Committee Member in Program Committee within the FOSSACS-track
Veronique Cortier CNRS, LORIA France Committee Member in Program Committee within the POST-track
Ioana Cristescu INRIA, France Committee Member in Program Committee within the SPIoT-track
Ryan Culpepper Czech Technical University Czech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Co-chair in Organizing Committee within the ETAPS Workshops-track
Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt France Committee Member in Steering Committee within the GaLoP-track
Lukasz Czajka University of Innsbruck Austria PC Member in Program Committee within the DICE-FOPARA-track
Ugo Dal Lago University of Bologna / Inria Italy Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the ESOP-track Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Neil Dalchau Microsoft Research United Kingdom Committee Member in Program Committee within the HSB-track
Ferruccio Damiani University of Turin Italy Committee Member in Program Committee within the FASE-track
Thao Dang CNRS/VERIMAG France Committee Member in Program Committee within the HSB-track
Ornela Dardha University of Glasgow United Kingdom Committee Member in Program Committee within the PLACES-track
Ankush Das Carnegie Mellon University United States PC Member in Program Committee within the DICE-FOPARA-track
Emanuele De Angelis University of Chieti-Pescara Italy Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Hidde De Jong INRIA Grenoble - Rhone-Alpes France Committee Member in Program Committee within the HSB-track
Leonardo De Moura Microsoft Research United States Committee Member in Program Committee within the TACAS-track
Pierpaolo Degano Universita di Pisa Italy Committee Member in Program Committee within the POST-track
Giorgio Delzanno DIBRIS, University of Genova Italy Steering Committee Member in Steering Committee (and PC) within the SynCoP-track Committee Member in Program Committee within the HCVS-track
Ewen Denney NASA Ames Research Center United States Committee Member in Program Committee within the FASE-track
Alessandra Di Pierro University of Verona, Italy Steering Committee Member in Steering Committee within the QAPL-track
Marco Dinatale Scuole Santa Anna Italy Committee Member in Program Committee within the InterAVT-track
Tommaso Dreossi University of California at Berkeley United States Committee Member in Program Committee within the HSB-track
Claire Dross AdaCore France Committee Member in Organizing Committee within the VerifyThis-track
Parasara Sridhar Duggirala University of Connecticut United States Committee Member in Program Committee within the TACAS-track
Sjur Kristoffer Dyrkolbotn Western Norway University of Applied Sciences Committee Member in Program Committee within the CREST-track
Constantin Enea Université Paris Diderot France Committee Member in Program Committee within the ESOP-track
Eric Fabre INRIA Committee Member in Program Committee within the CREST-track
François Fages Inria Saclay - Ile de France France Committee Member in Program Committee within the HSB-track
Claudia Faggian IRIF France Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Eric Fanchon CNRS, TIMC-IMAG France Committee Member in Program Committee within the HSB-track
Alessandro Fantechi University of Florence Italy Committee Member in Program Committee within the InterAVT-track
Grigory Fedyukovich Princeton University United States Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Jerome Feret INRIA Paris France Committee Member in Program Committee within the HSB-track
Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute France Committee Member in Program Committee within the FOSSACS-track
Fabio Fioravanti University of Chieti-Pescara Italy Committee Member in Program Committee within the HCVS-track
Kathleen Fisher Tufts University United States Author of From quadcopters to helicopters: Formal verification to eliminate exploitable bugs within the Keynotes-track in ETAPS 2019
Cormac Flanagan University of California, Santa Cruz Ireland Author of Towards Efficient and Precise Concurrent Software Analysis within the Keynotes-track in ETAPS 2019
Simon Fowler The University of Edinburgh United Kingdom Committee Member in Program Committee within the PLACES-track
Adrian Francalanza University of Malta Malta Committee Member in Program Committee within the PLACES-track PC Chair in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Juliana Franco Microsoft Research, Cambridge United Kingdom Speaker of Mentorship Lecture #3 within the Mentoring Workshop-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Carlo A. Furia Università della Svizzera italiana (USI) Switzerland Committee Member in Organizing Committee within the VerifyThis-track
Hugo Férée University of Kent, UK United Kingdom PC Member in Program Committee within the DICE-FOPARA-track
John P. Gallagher Roskilde University Denmark Committee Member in Program Committee within the HCVS-track
Pietro Galliani Free University of Bozen-Bolzano Italy Committee Member in Program Committee within the GaLoP-track
Pierre Ganty IMDEA Software Institute Spain Committee Member in Program Committee within the TACAS-track
Luciano García-Bañuelos University of Tartu Estonia Committee Member in Program Committee within the FASE-track
Deepak Garg Max Planck Institute for Software Systems Germany Committee Member in Program Committee within the ESOP-track
Simon J. Gay University of Glasgow, UK United Kingdom Committee Member in Program Committee within the ESOP-track
Samir Genaim Universidad Complutense de Madrid Spain Committee Member in Program Committee within the DICE-FOPARA-track
Dan Ghica University of Birmingham United Kingdom Committee Member in Steering Committee within the GaLoP-track
Jose Gines Gimenez Manuel Middlesex University United Kingdom Committee Member in Program Committee within the SPIoT-track
Giulia Giordano TU Delft Netherlands Committee Member in Program Committee within the HSB-track
Wenceslas Godard Airbus Operations SAS France Committee Member in Program Committee within the MeTRiD-track
Gregor Goessler INRIA Committee Member in Program Committee within the CREST-track
Dieter Gollmann Hamburg University of Technology Germany Committee Member in Program Committee within the POST-track
Sergey Goncharov Friedrich-Alexander-Universität Erlangen-Nürnberg Germany Committee Member in Program Committee within the FOSSACS-track
Alexey Gotsman IMDEA Software Institute Spain Committee Member in Program Committee within the ESOP-track
Alberto Griggio Fondazione Bruno Kessler Italy Committee Member in Program Committee within the InterAVT-track Committee Member in Program Committee within the HCVS-track
Radu Grosu Vienna University of Technology Austria Case Study Chair in Program Committee within the TACAS-track
Orna Grumberg Technion – Israel Institute of Technology Israel Committee Member in Program Committee within the TACAS-track
Arie Gurfinkel University of Waterloo Canada Committee Member in Program Committee within the HCVS-track
Dilian Gurov KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the FASE-track
Joshua Guttman Worcester Polytechnic Institute United States Committee Member in Program Committee within the POST-track
Peter Habermehl IRIF France Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Jurriaan Hage Utrecht University Committee Member in Steering Committee for ETAPS 2019
Matthew Hague Royal Holloway, University of London United Kingdom Committee Member in Program Committee within the FOSSACS-track
Ernst Moritz Hahn Queen's University Belfast United Kingdom AE co-chair in Artifact Evaluation Committee within the TACAS-track
Ádám Halász West Virginia University United States Committee Member in Program Committee within the HSB-track
Ichiro Hasuo National Institute of Informatics Japan Committee Member in Steering Committee within the GaLoP-track
Klaus Havelund NASA/Caltech Jet Propulsion Laboratory United States Committee Member in Program Committee within the TACAS-track
Reiko Heckel University of Leicester United Kingdom Committee Member in Steering Committee for ETAPS 2019
Matthias Heizmann University of Freiburg Germany Committee Member in Program Committee within the HCVS-track
Ludovic Henrio CNRS France Committee Member in Program Committee within the FASE-track
Holger Hermanns Saarland University Germany Committee Member in Executive Board for ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Chris Heunen University of Edinburgh United Kingdom Committee Member in Program Committee within the FOSSACS-track
Patrick Heymans University of Namur Belgium Committee Member in Program Committee within the InterAVT-track
Jane Hillston University of Edinburgh United Kingdom Committee Member in Program Committee within the HSB-track
Martin Hofmann LMU Munich (1965-2018) Germany Committee Member in Program Committee within the ESOP-track
Vojtech Horky Charles University Czech Republic Web Co-Chair in Organizing Committee for ETAPS 2019
Falk Howar Technical University Dortmund Germany Committee Member in Program Committee within the TACAS-track
Justin Hsu University of Wisconsin-Madison, USA United States Committee Member in Program Committee within the POST-track
Marieke Huisman University of Twente Netherlands Committee Member in Steering Committee for ETAPS 2019 Speaker of Mentorship Lecture #1 within the Mentoring Workshop-track in ETAPS 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the TACAS-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track Committee Member in Organizing Committee within the VerifyThis-track
Michael Huth Imperial College London United Kingdom Committee Member in Program Committee within the POST-track
Reiner Hähnle Technical University of Darmstadt Germany Committee Member in Steering Committee for ETAPS 2019 Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the FASE-track
Atsushi Igarashi Kyoto University, Japan Japan Committee Member in Program Committee within the ESOP-track
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes France Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Mohamad Jaber American University of Beirut Committee Member in Program Committee within the MeTRiD-track
Swen Jacobs CISPA Helmholtz Center for Information Security Germany Committee Member in Program Committee within the SYNT Camp-track
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Committee Member in Program Committee within the ESOP-track
Joxan Jaffar National University of Singapore Singapore Committee Member in Program Committee within the TACAS-track
Mikoláš Janota INESC-ID, IST, ULisboa Portugal Committee Member in Program Committee within the InterAVT-track
Loïg Jezequel Université de Nantes, CNRS Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Patricia Johann Appalachian State University United States Committee Member in Program Committee within the FOSSACS-track
Simon Jones Middlesex University United Kingdom Committee Member in Program Committee within the SPIoT-track
Steffen Jost LMU, Munich, Germany Germany Chair in Program Committee within the DICE-FOPARA-track
Dejan Jovanović SRI International United States Committee Member in Program Committee within the HCVS-track
Agung Julius Rensselaer Polytechnic Institute United States Committee Member in Program Committee within the HSB-track
Bishoksan Kafle The university of Melbourne Australia Committee Member in Program Committee within the HCVS-track
Florian Kammüller Middlesex University, UK Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Gerti Kappel Technical University of Vienna Austria Committee Member in Program Committee within the FASE-track
Joost-Pieter Katoen RWTH Aachen University Germany Chair in Executive Board for ETAPS 2019 PC co-chair in Program Committee within the LiVe-track
Panagiotis Katsaros Aristotle University of Thessaloniki Greece Committee Member in Steering Committee for ETAPS 2019 Committee Member in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Stefan Kiefer University of Oxford United Kingdom Committee Member in Program Committee within the TACAS-track
Ekkart Kindler Technical University of Denmark Denmark Committee Member in Program Committee within the FASE-track
Aleks Kissinger Radboud University Committee Member in Invited Speakers within the CREST-track
Samantha Kleinberg Stevens Institute of Technology Committee Member in Program Committee within the CREST-track
Bartek Klin University of Warsaw Poland Committee Member in Program Committee within the FOSSACS-track
Naoki Kobayashi University of Tokyo, Japan Japan Committee Member in Program Committee within the FOSSACS-track
Jan Kofroň Charles University Czech Republic General Chair in Organizing Committee for ETAPS 2019
Ekaterina Komendantskaya Heriot-Watt University, UK Committee Member in Program Committee within the HCVS-track
Igor Konnov Inria Nancy France Committee Member in Program Committee within the MeTRiD-track
Dexter Kozen Cornell United States Committee Member in Program Committee within the FOSSACS-track
Steve Kremer INRIA Committee Member in Program Committee within the PERR-track
Jan Kretinsky Technical University of Munich Germany Committee Member in Program Committee within the TACAS-track PC co-chair in Program Committee within the LiVe-track
Filip Krikava Czech Technical University Czech Republic Housing Chair in Organizing Committee for ETAPS 2019
Jean Krivine CNRS France Co-chair in Program Committee within the CREST-track
Hillel Kugler Microsoft United States Committee Member in Program Committee within the HSB-track
K Narayan Kumar Chennai Mathematical Institute India Committee Member in Program Committee within the FOSSACS-track
Orna Kupferman Hebrew University Israel Committee Member in Program Committee within the FOSSACS-track
Ralf Küsters University of Stuttgart Committee Member in Steering Committee for ETAPS 2019
Salvatore La Torre Università degli Studi di Salerno Italy Committee Member in Program Committee within the TACAS-track
Shuvendu K. Lahiri Microsoft Research Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Jim Laird University of Bath United Kingdom Committee Member in Steering Committee within the GaLoP-track
Ivan Lanese University of Bologna/INRIA Committee Member in Program Committee within the CREST-track
Kim Larsen Aalborg University Denmark Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Luca Laurenti University of Oxford United Kingdom Committee Member in Program Committee within the HSB-track
Olivier Laurent CNRS & ENS Lyon France Committee Member in Steering Committee within the GaLoP-track
Peter Lefanu Lumsdaine Stockholm University Sweden Committee Member in Program Committee within the FOSSACS-track
Axel Legay INRIA Rennes France Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Ondrej Lengal Brno University of Technology Czech Republic AE co-chair in Artifact Evaluation Committee within the TACAS-track
Lucie Lerch Czech Technical University in Prague Czech Republic Local Arrangements Chair in Organizing Committee for ETAPS 2019
Xavier Leroy Collège de France France Committee Member in Program Committee within the PERR-track
Martin Leucker University of Lübeck Germany Committee Member in Program Committee within the FASE-track
Stefan Leue University of Konstanz Germany Committee Member in Program Committee within the InterAVT-track Committee Member in Invited Speakers within the CREST-track
Paul Blain Levy University of Birmingham United Kingdom Committee Member in Program Committee within the FOSSACS-track
Hai Liu DFINITY United States Committee Member in Program Committee within the PLACES-track
Paley Li Oracle Labs Czech Republic Poster Co-Chair in Organizing Committee for ETAPS 2019 Co-chair in Organizers within the ETAPS Posters-track
Hans-Wolfgang Loidl Heriot-Watt University, UK Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track PC Member in Program Committee within the DICE-FOPARA-track
Michele Loreti University of Camerino Italy Committee Member in Program Committee within the PLACES-track
Gerald Lüttgen University of Bamberg Germany Treasurer in Executive Board for ETAPS 2019
Matteo Maffei TU Wien Committee Member in Steering Committee for ETAPS 2019
Petr Maj ReactorLabs Czech Republic Student Volunteers Chair in Organizing Committee for ETAPS 2019
Heiko Mantel TU Darmstadt Germany Committee Member in Program Committee within the POST-track
Radu Mardare Aalborg University Denmark Committee Member in Program Committee within the FOSSACS-track
Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Jean-Yves Marion LORIA France Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Stefan Marr University of Kent United Kingdom Committee Member in Program Committee within the PLACES-track
Fabio Martinelli Istituto di Informatica e Telematica Italy Committee Member in Program Committee within the POST-track
Francisco Martins University of Lisbon Portugal PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Mieke Massink CNR-ISTI Pisa, Italy Steering Committee Member in Steering Committee within the QAPL-track
Isabella Mastroeni University of Verona, Italy Italy Committee Member in Program Committee within the ESOP-track
Anastasia Mavridou NASA Ames Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Sisi Ma University of Minnesota Committee Member in Invited Speakers within the CREST-track
Guy McCusker University of Bath United Kingdom Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Annabelle McIver Macquarie University Australia Committee Member in Program Committee within the TACAS-track
Hernan Melgratti University of Buenos Aires Argentina PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Roland Meyer Technical University of Braunschweig Germany Committee Member in Program Committee within the TACAS-track
Mira Mezini TU Darmstadt Germany Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Marius Mikucionis Aalborg University Denmark Tools Chair in Program Committee within the TACAS-track
Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick Ireland Committee Member in Organizing Committee within the InterAVT-track
Sebastian A. Moedersheim Technical University of Denmark Denmark Committee Member in Program Committee within the TACAS-track
Rosemary Monahan National University of Ireland Committee Member in Organizing Committee within the VerifyThis-track
Angelo Montanari University of Udine Italy Committee Member in Program Committee within the FOSSACS-track
J. Garrett Morris University of Kansas, USA United States Committee Member in Program Committee within the ESOP-track
Andrzej Murawski University of Oxford United Kingdom Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Koko Muroya RIMS, Kyoto University, JP & University of Birmingham, UK Committee Member in Program Committee within the GaLoP-track
Anca Muscholl Université de Bordeaux / LaBRI France Committee Member in Program Committee within the FOSSACS-track
Chris Myers University of Utah United States Committee Member in Program Committee within the HSB-track
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Committee Member in Program Committee within the FOSSACS-track
Markus Müller-Olm University of Münster Germany Committee Member in Program Committee within the ESOP-track
Peter Müller ETH Zurich Switzerland Committee Member in Organizing Committee within the VerifyThis-track
Tim Nelson Brown University United States Committee Member in Program Committee within the ESOP-track
Laura Nenzi TU Wien Austria Committee Member in Program Committee within the HSB-track
Rumyana Neykova Brunel University London United Kingdom Committee Member in Program Committee within the PLACES-track
Flemming Nielson Technical University of Denmark Denmark Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the POST-track
Joanna Ochremiak University of Cambridge United Kingdom PC Member in Program Committee within the DICE-FOPARA-track
C.-H. Luke Ong University of Oxford United Kingdom Committee Member in Steering Committee within the GaLoP-track
Dominic Orchard University of Kent, UK United Kingdom PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Scott Owens University of Kent, UK United Kingdom Committee Member in Program Committee within the ESOP-track
Luca Padovani University of Turin Italy Committee Member in Program Committee within the ESOP-track PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Claire Pagetti Onera France Committee Member in Program Committee within the MeTRiD-track
Miroslav Pajic Duke University United States Committee Member in Program Committee within the HSB-track
Catuscia Palamidessi INRIA and LIX Committee Member in Steering Committee for ETAPS 2019
Jun Pang University of Luxembourg Luxembourg Committee Member in Program Committee within the FASE-track
Nicola Paoletti Royal Holloway, University of London, UK Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track
Yiannis Papadopoulos University of Hull Committee Member in Program Committee within the MeTRiD-track
David Parker University of Birmingham United Kingdom Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Corina S Pasareanu NASA Ames Research Center United States Committee Member in Program Committee within the TACAS-track
Dirk Pattinson Australian National University Australia Committee Member in Program Committee within the FOSSACS-track
Artem Pelenitsyn Northeastern University United States Web Co-Chair in Organizing Committee for ETAPS 2019
Wojciech Penczek IPI-PAN Poland Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Ion Petre Åbo Akademi University Finland Committee Member in Program Committee within the HSB-track
Daniela Petrisan IRIF, Université Paris Diderot France Committee Member in Program Committee within the FOSSACS-track
Tatjana Petrov Universität Konstanz Germany Committee Member in Program Committee within the HSB-track
Laure Petrucci Université Paris 13 France Organizing Committee in Organizing Committee within the SynCoP-track
Carla Piazza University of Udine Italy Committee Member in Program Committee within the HSB-track
Brigitte Pientka McGill University Canada Committee Member in Program Committee within the ESOP-track
Ken Pierce The University of Newcastle Committee Member in Program Committee within the InterAVT-track
Yvonne-Anne Pignolet ABB Corporate Research Switzerland Committee Member in Program Committee within the MeTRiD-track
Paolo Pistone Aix-Marseille University France PC Member in Program Committee within the DICE-FOPARA-track
Andrew Pitts University of Cambridge Committee Member in Steering Committee for ETAPS 2019
André Platzer Carnegie Mellon University United States Committee Member in Program Committee within the FASE-track
Nadia Polikarpova University of California, San Diego United States Committee Member in Program Committee within the HCVS-track
Christian Probst Unitec Institute of Technology New Zealand Committee Member in Program Committee within the POST-track
Romain Péchoux INRIA / LORIA France PC Member in Program Committee within the DICE-FOPARA-track
Jean Quilbeuf INRIA France Committee Member in Program Committee within the SPIoT-track
Ajitha Rajan University of Edinburgh United Kingdom Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Antonio Ravara NOVA University of Lisbon and NOVA LINCS Portugal Committee Member in Program Committee within the PLACES-track PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. United States Speaker of Evening Mentorship Lecture #2 within the Mentoring Workshop-track in ETAPS 2019 Speaker in Speakers within the ETAPS Mentoring Workshop-track
Simona Ronchi Della Rocca University of Torino Italy Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Philipp Ruemmer Uppsala University Sweden Committee Member in Program Committee within the PERR-track Committee Member in Program Committee within the HCVS-track
Harald Ruess fortiss Germany Committee Member in Program Committee within the MeTRiD-track
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the FASE-track
Alessandra Russo Imperial College London United Kingdom Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Peter Ryan University of Luxembourg Luxembourg Committee Member in Program Committee within the POST-track
Andrey Rybalchenko Microsoft Research United Kingdom Committee Member in Program Committee within the HCVS-track
Andrei Sabelfeld Chalmers University of Technology Sweden Committee Member in Program Committee within the POST-track
David Safranek Masaryk University Czech Republic Publications Chair in Organizing Committee for ETAPS 2019 Committee Member in Program Committee within the HSB-track
Mooly Sagiv Tel Aviv University Israel Keynote Speaker of Evening Mentorship Lecture #1 within the Mentoring Workshop-track in ETAPS 2019 Keynote Speaker in Speakers within the ETAPS Mentoring Workshop-track
Rick Salay University of Toronto Canada Committee Member in Program Committee within the FASE-track
Malavika Samak CSAIL, MIT United States Committee Member in Program Committee within the PLACES-track
Matteo Sammartino University College London Committee Member in Invited Speakers within the CREST-track Committee Member in Program Committee within the CREST-track
Dave Sands Chalmers Sweden Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the POST-track
Gabriel Sandu University of Helsinki Finland Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Davide Sangiorgi University of Bologna Italy Committee Member in Program Committee within the FOSSACS-track
Guido Sanguinetti University of Edinburgh United Kingdom Committee Member in Program Committee within the HSB-track
Sriram Sankaranarayanan University of Colorado, Boulder United States Committee Member in Program Committee within the HSB-track
Don Sannella University of Edinburgh United Kingdom Committee Member in Steering Committee for ETAPS 2019
Vladimiro Sassone University of Southampton United Kingdom Society Activities in Executive Board for ETAPS 2019
Ina Schaefer Technische Universität Braunschweig Germany Committee Member in Program Committee within the FASE-track
Andrea Schalk University of Manchester, UK United Kingdom Committee Member in Steering Committee within the GaLoP-track
Stefano Schivo Open University of the Netherlands Netherlands Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Carsten Schürmann IT University of Copenhagen Denmark Committee Member in Program Committee within the POST-track
Andy Schürr TU Darmstadt Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Martina Seidl Committee Member in Program Committee within the MeTRiD-track
Thomas Seiller CNRS France Chair in Program Committee within the DICE-FOPARA-track Committee Member in Program Committee within the GaLoP-track
Valerio Senni ALES Srl — UTRC Italy Committee Member in Program Committee within the HCVS-track
Sanjit Seshia University of California, Berkeley United States Committee Member in Program Committee within the TACAS-track
Zhong Shao Yale University United States Committee Member in Program Committee within the ESOP-track
Rahul Sharma Microsoft Research India Committee Member in Program Committee within the PERR-track
Konrad Siek Czech Technical University in Prague Czech Republic Poster Co-Chair in Organizing Committee for ETAPS 2019 Co-chair in Organizers within the ETAPS Posters-track
Joseph Sifakis Verimag/CNRS France Committee Member in Program Committee within the MeTRiD-track
Alexandra Silva University College London United Kingdom Committee Member in Program Committee within the ESOP-track
Alex Simpson University of Ljubljana Slovenia Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the FOSSACS-track
Abhyudai Singh University of Delaware United States Committee Member in Program Committee within the HSB-track
Ana Sokolova University of Salzburg Austria Committee Member in Program Committee within the FOSSACS-track
Oleg Sokolsky University of Pennsylvania, USA Committee Member in Program Committee within the CREST-track
Paola Spoletini Kennesaw State University United States Committee Member in Program Committee within the MeTRiD-track
Kateřina Staňková Maastricht University Netherlands Committee Member in Program Committee within the HSB-track
Bernhard Steffen Technical University Dortmund Germany Committee Member in Program Committee within the TACAS-track Chair in Steering Committee within the TACAS-track
Perdita Stevens University of Edinburgh United Kingdom Committee Member in Program Committee within the FASE-track
Marielle Stoelinga University of Twente Netherlands Committee Member in Program Committee within the FASE-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Jan Strejcek Masaryk University Czech Republic Committee Member in Program Committee within the TACAS-track
Ofer Strichman Technion Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Jun Sun Singapore University of Technology and Design Singapore Committee Member in Program Committee within the FASE-track
Meng Sun Peking University China Committee Member in Program Committee within the TACAS-track
Zhendong Su ETH Zurich Switzerland Committee Member in Program Committee within the TACAS-track
Janos Sztipanovits Vanderbilt University United States Committee Member in Program Committee within the MeTRiD-track
Gabriele Taentzer Universität Marburg Germany Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Silvia Lizeth Tapia Tarifa University of Oslo Norway Committee Member in Program Committee within the FASE-track
Michael Tautschnig Amazon Web Services United Kingdom Committee Member in Program Committee within the TACAS-track
Leander Tentrup Saarland University Author of Hand-on Synthesis Experience with BoSy within the SYNT Camp-track in SYNT Camp 2019 Committee Member in Organizing Committee within the SYNT Camp-track
Peter Thiemann University of Freiburg, Germany Committee Member in Steering Committee for ETAPS 2019
Kristinn R. Thórisson Reykjavik University & Icelandic Institute for Intelligent Machines Iceland Committee Member in Program Committee within the CREST-track
Cesare Tinelli University of Iowa United States Author of An overview of Satisfiability Modulo Theories and its applications within the Tutorials-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track
Alwen Tiu Australian National University Australia Committee Member in Program Committee within the POST-track
Louise Travé-Massuyès CNRS France Committee Member in Program Committee within the CREST-track
Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy Steering Committee Member in Steering Committee within the QAPL-track
Stavros Tripakis Northeastern University United States Committee Member in Program Committee within the InterAVT-track
Nikos Tzevelekos Queen Mary University of London Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track Committee Member in Program Committee within the GaLoP-track
Mattias Ulbrich Karlsruhe Institute of Technology Germany Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track
Tarmo Uustalu Reykjavik University Iceland Publicity in Executive Board for ETAPS 2019
Daniele Varacca Université Paris Est - Créteil Committee Member in Program Committee within the CREST-track
Pedro Vasconcelos LIACC, Universidade do Porto, Porto, Portugal Portugal PC Member in Program Committee within the DICE-FOPARA-track
Anthony Ventresque Lero and University College Dublin Ireland Committee Member in Program Committee within the InterAVT-track
Marcel Verhoef European Space Agency Netherlands Committee Member in Program Committee within the MeTRiD-track
Alicia Villanueva Universitat Politècnica de València Spain Committee Member in Program Committee within the HCVS-track
Jan Vitek Northeastern University and Czech Technical University United States Committee Member in Steering Committee for ETAPS 2019 General Chair in Organizing Committee for ETAPS 2019 Comfy Chair in Organizers within the ETAPS Mentoring Workshop-track
Tomas Vojnar Brno University of Technology Czech Republic Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Niels Voorneveld University of Ljubljana Slovenia Committee Member in Program Committee within the PERR-track
Jouko Väänänen University of Helsinki Finland Committee Member in Steering Committee within the GaLoP-track
András Vörös Budapest University of Technology and Economics Hungary Committee Member in Program Committee within the MeTRiD-track
David Walker Princeton University United States Committee Member in Program Committee within the ESOP-track
Heike Wehrheim Paderborn University Germany Committee Member in Program Committee within the FASE-track
James Weimer University of Pennsylvania, USA Committee Member in Program Committee within the HSB-track
Thomas Wies New York University United States Committee Member in Program Committee within the TACAS-track
Anton Wijs Eindhoven University of Technology Netherlands Committee Member in Steering Committee for ETAPS 2019
Herbert Wiklicky Imperial College London United Kingdom Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Reinhard Wilhelm Saarland University Germany Speaker of Evening Mentorship Lecture #3 within the Mentoring Workshop-track in ETAPS 2019 Speaker in Speakers within the ETAPS Mentoring Workshop-track
Martin Wirsing Ludwig Maximilian University of Munich Germany Committee Member in Program Committee within the MeTRiD-track
Verena Wolf Saarland University Germany Committee Member in Program Committee within the HSB-track
James Worrell University of Oxford United Kingdom Committee Member in Program Committee within the FOSSACS-track
Tobias Wrigstad Uppsala University Sweden Mentorship Chair in Organizing Committee for ETAPS 2019 Chair in Organizers within the ETAPS Mentoring Workshop-track
Yingfei Xiong Peking University China Committee Member in Program Committee within the FASE-track
Mingsheng Ying University of Technology Sydney Australia Committee Member in Program Committee within the POST-track
Wang Yi Uppsala University, Sweden Committee Member in Program Committee within the MeTRiD-track
Boyan Yordanov Microsoft Research United Kingdom Committee Member in Program Committee within the HSB-track
Lijun Zhang Chinese Academy of Sciences China Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the TACAS-track
He Zhu Galois, Inc. Committee Member in Program Committee within the HCVS-track
Margherita Zorzi Università degli Studi di Verona Italy PC Member in Program Committee within the DICE-FOPARA-track
Lenore Zuck University of Illinois at Chicago United Kingdom Tutorials in Executive Board for ETAPS 2019
Florian Zuleger Vienna University of Technology Austria Committee Member in Program Committee within the TACAS-track
Paolo Zuliani Newcastle University United Kingdom Committee Member in Program Committee within the HSB-track
Maurice ter Beek Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Committee Member in Program Committee within the FASE-track Committee Member in Program Committee within the InterAVT-track
emilio tuosto University of Leicester United Kingdom PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Marko van Eekelen Open University of the Netherlands Netherlands Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track
Jaco van de Pol Aarhus University Denmark Committee Member in Organizing Committee within the SynCoP-track
Wil van der Aalst RWTH Aachen Germany Committee Member in Steering Committee for ETAPS 2019 Co-chair in Program Committee within the FASE-track
Ezgi Çiçek Facebook London PC Member in Program Committee within the DICE-FOPARA-track

ETAPS 2019 Contributors

Results (390)

ETAPS 2019

Co-hosted Conferences

Co-hosted Workshops