Steering Committee ETAPS 2019

Marieke Huisman

University of Twente

Netherlands

Alessandra Russo

Imperial College London

United Kingdom

Wil van der Aalst

RWTH Aachen

Germany

Parosh Aziz Abdulla

Uppsala University

Sweden

Panagiotis Katsaros

ITI-CERTH, Thessaloniki

Greece

Dave Sands

Chalmers

Sweden

Amal Ahmed

Northeastern University, USA

United States

Ralf Küsters

University of Stuttgart

Don Sannella

University of Edinburgh

United Kingdom

Christel Baier

TU Dresden, Germany

Germany

Ugo Dal Lago

University of Bologna / Inria

Italy

Andy Schürr

TU Darmstadt

Lujo Bauer

Carnegie Mellon University

United States

Kim Larsen

Aalborg University

Denmark

Alex Simpson

University of Ljubljana

Slovenia

Dirk Beyer

LMU Munich

Germany

Matteo Maffei

TU Wien

Gabriele Taentzer

Universität Marburg

Germany

Mikolaj Bojanczyk

University of Warsaw

Poland

Tiziana Margaria

University of Limerick and Lero - The Irish Software Research Centre

Ireland

Peter Thiemann

University of Freiburg, Germany

Luís Caires

NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

Portugal

Flemming Nielson

Technical University of Denmark

Denmark

Jan Vitek

Northeastern University and Czech Technical University

United States

Jurriaan Hage

Utrecht University

Catuscia Palamidessi

INRIA and LIX

Tomáš Vojnar

Brno University of Technology

Czechia

Reiner Hähnle

Technical University of Darmstadt

Germany

Andrew M. Pitts

University of Cambridge

Anton Wijs

Eindhoven University of Technology

Netherlands

Reiko Heckel

University of Leicester

United Kingdom

Lijun Zhang

Chinese Academy of Sciences

China