Program Committee Members FormaliSE Research Track

Alessandro Cimatti

Fondazione Bruno Kessler

Italy

Allison Sullivan

University of Texas at Arlington

United States

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Arnd Hartmanns

University of Twente

Netherlands

Carla Ferreira

NOVA University Lisbon

Portugal

Carlo A. Furia

Università della Svizzera italiana (USI)

Switzerland

Carlos Gustavo Lopez Pombo

Universidad Nacional de Rio Negro

Claudio Menghi

University of Bergamo; McMaster University

Italy

Emily First

Rutgers University

United States

Ernst Moritz Hahn

University of Twente

Netherlands

Federico Mora

University of Waterloo

Canada

Graeme Smith

The University of Queensland

Australia

Gustavo Betarte

Facultad de Ingeniería, Universidad de la República

Uruguay

Gwen Salaün

University of Grenoble Alpes

France

Heike Wehrheim

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany

Hernan Melgratti

University of Buenos Aires, Argentina

Hugo A. López

Technical University of Denmark

Denmark

Kenneth Johnson

Auckland University of Technology

New Zealand

Kyungmin Bae

POSTECH

South Korea

Laura Semini

Università di Pisa - Dipartimento di Informatica

Italy

Logan Murphy

University of Toronto

Canada

Luigia Petre

Åbo Akademi University

Finland

Luís Barbosa

Universidade do Minho

Portugal

Marie-Christine Jakobs

LMU Munich, Germany

Germany

Marjan Sirjani

Malardalen University

Sweden

Marsha Chechik

University of Toronto

Canada

Matteo Rossi

Politecnico di Milano

Italy

Nancy Day

University of Waterloo, Canada

Canada

NIANYU LI

ZGC Lab, China

China

Rosemary Monahan

National University of Ireland

Ireland

Shahar Maoz

Tel Aviv University

Israel

Silvia Bonfanti

University of Bergamo

Italy

Simão Melo de Sousa

NOVA LINCS & Universidade da Beira Interior, Portugal

Simon Bliudze

Inria Center at the University of Lillle

France

Stefan Zetzsche

Amazon Web Services

United Kingdom

Tiziana Margaria

University of Limerick and Lero - The Irish Software Research Centre

Ireland

Toshiaki Aoki

JAIST

Japan

Yasmeen Rafiq

University of Manchester

Zhenya Zhang

Kyushu University

Japan

Wolfgang Ahrendt

Chalmers University of Technology

Sweden

Oana Andrei

University of Glasgow

United Kingdom

Timothy Bourke

Inria/ENS

France

Simon Foster

University of York

United Kingdom

Taylor T Johnson

Vanderbilt University

United States

Dominique Mery

Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France

France

Mohammad Reza Mousavi

King's College London

United Kingdom

Camilo Rocha

Pontificia Universidad Javeriana

Colombia

Cristina Seceleanu

Mälardalen University

Sweden

Silvia Lizeth Tapia Tarifa

University of Oslo, Norway

Norway

Maurice ter Beek

CNR-ISTI Pisa, Italy

Italy

Michael Whalen

Amazon Web Services and the University of Minnesota

United States