ETAPS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (325)

Jorge A. Navas 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 SYNTCOMP Camp-track in SYNTCOMP Camp 2019 Committee Member in Program Committee within the SYNTCOMP Camp-track Committee Member in Organizing Committee within the SYNTCOMP Camp-track
Samson Abramsky University of Oxford, UK Chair in Steering Committee within the GaLoP-track
Luca Aceto Gran Sasso Science Institute Italy Committee Member in Program Committee within the FOSSACS-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
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 within the SynCoP-track
Farhad Arbab CWI and Leiden University 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
Paul Attie American University of Beirut Committee Member in Program Committee within the MeTRiD-track
Juan Carlos Augusto Middlesex University, UK Committee Member in Program Committee within the SPIoT-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 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 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, USA United States Committee Member in Program Committee within the ESOP-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
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
Véronique Benzaken LRI, Université Paris-Sud France Committee Member in Program Committee within the ESOP-track
Stefano Berardi Università di Torino Italy Committee Member in Program Committee within the FASE-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 SYNTCOMP Camp-track
Achim Blumensath Masaryk University Czech Republic Committee Member in Program Committee within the FOSSACS-track
Laura Bocchi University of Kent, UK 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
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 Sweden Committee Member in Program Committee within the ESOP-track
Luca Bortolussi University of Trieste, Italy 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 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 Czech Republic Publicity Chair in Organizing Committee for ETAPS 2019
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 Committee Member in Organizing Committee within the CREST-track Co-chair in Program Committee within the CREST-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 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 ETAPS Keynote #2 within the Keynotes-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Yu-Fang Chen Academia Sinica Taiwan Committee Member in Program Committee within the TACAS-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
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 ETAPS Keynote #4 within the Keynotes-track in ETAPS 2019 invited speaker in Invited Speaker within the FOSSACS-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 Committee Member in Steering Committee within the GaLoP-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
Ferruccio Damiani University of Turin Italy Committee Member in Program Committee within the FASE-track
Ornela Dardha University of Glasgow United Kingdom Committee Member in Program Committee within the PLACES-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
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 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 Committee Member in Program Committee within the InterAVT-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
Claudia Faggian Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Alessandro Fantechi University of Florence 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
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 Committee Member in Program Committee within the HCVS-track
Kathleen Fisher Tufts University United States Author of ETAPS Keynote #1 within the Keynotes-track in ETAPS 2019
Cormac Flanagan University of California, Santa Cruz Ireland Author of ETAPS Keynote #3 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
Carlo A. Furia Università della Svizzera italiana (USI) Switzerland Committee Member in Organizing Committee within the VerifyThis-track
John P. Gallagher Roskilde University Committee Member in Program Committee within the HCVS-track
Pietro Galliani Free University of Bozen-Bolzano 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
Dan Ghica University of Birmingham United Kingdom Committee Member in Steering Committee within the GaLoP-track
Jose Gines Gimenez Manuel Middlesex University, UK Committee Member in Program Committee within the SPIoT-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 Steering Committee Member in Steering Committee 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 University of Liverpool United Kingdom AE co-chair in Artifact Evaluation Committee within the TACAS-track
Ichiro Hasuo National Institute of Informatics, Japan 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 Univ. of Namur Committee Member in Program Committee within the InterAVT-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 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the TACAS-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 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 Committee Member in Program Committee within the SYNTCOMP 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 within the SynCoP-track
Patricia Johann Appalachian State University United States Committee Member in Program Committee within the FOSSACS-track
Simon Jones Middlesex University, UK 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
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
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
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
Jean Krivine CNRS France Committee Member in Organizing Committee within the CREST-track Co-chair in Program Committee within the CREST-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
Jim Laird University of Bath, UK 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 within the SynCoP-track
Olivier Laurent CNRS & ENS Lyon 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 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
Martin Leucker University of Lübeck Germany Committee Member in Program Committee within the FASE-track
Stefan Leue Committee Member in Program Committee within the InterAVT-track
Paul Blain Levy University of Birmingham United Kingdom Committee Member in Program Committee within the FOSSACS-track
Hai Liu Intel Labs Committee Member in Program Committee within the PLACES-track
Paley Li Oracle Labs Czech Republic Poster Chair in Organizing Committee for ETAPS 2019
Hans-Wolfgang Loidl Heriot-Watt University, UK Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-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 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 LaSIGE, University of Lisbon 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
Guy McCusker University of Bath, UK 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
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
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
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
Rumyana Neykova Imperial College London, UK 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
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 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
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 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 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 Russia Web Co-Chair in Organizing Committee for ETAPS 2019
Wojciech Penczek IPI-PAN Steering Committee Member in Steering Committee within the SynCoP-track
Daniela Petrisan IRIF, Université Paris Diderot France Committee Member in Program Committee within the FOSSACS-track
Laure Petrucci LIPN, CNRS UMR 7030, Université Paris 13 France Organizing Committee in Organizing Committee within the SynCoP-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 Committee Member in Program Committee within the MeTRiD-track
Marco Pistoia IBM Research United States Committee Member in Program Committee within the FASE-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
Jean Quilbeuf INRIA Committee Member in Program Committee within the SPIoT-track
Antonio Ravara Department of Informatics, Faculty of Sciences and Technology, 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
Simona Ronchi Della Rocca University of Torino Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Philipp Ruemmer Uppsala University Sweden Committee Member in Program Committee within the HCVS-track
Harald Ruess fortiss, Germany Committee Member in Program Committee within the MeTRiD-track
Bernhard Rumpe 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
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 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 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
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 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 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
Joseph Sifakis 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
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
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 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
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 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 SYNTCOMP Camp-track in SYNTCOMP Camp 2019 Committee Member in Organizing Committee within the SYNTCOMP 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 Author of ETAPS Tutorial #1 within the Tutorials-track in ETAPS 2019
Alwen Tiu Australian National University Australia Committee Member in Program Committee within the POST-track
Louise Travé-Massuyès CNRS 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 Aalto University and UC Berkeley Committee Member in Program Committee within the InterAVT-track
Nikos Tzevelekos Queen Mary University of London Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the GaLoP-track
Mattias Ulbrich Karlsruhe Institute of Technology Germany Committee Member in Organizing 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
Anthony Ventresque Lero and University College Dublin Ireland Committee Member in Program Committee within the InterAVT-track
Marcel Verhoef European Space Agency 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 United States Committee Member in Steering Committee for ETAPS 2019 General Chair in Organizing Committee for ETAPS 2019
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
Jouko Väänänen University of Helsinki 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
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 Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Martin Wirsing Ludwig Maximilian University of Munich Committee Member in Program Committee within the MeTRiD-track
James Worrell University of Oxford United Kingdom Committee Member in Program Committee within the FOSSACS-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
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
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
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 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 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

ETAPS 2019 Contributors

Results (325)

ETAPS 2019

Co-hosted Conferences

Co-hosted Workshops