Program Committee FormaliSE Research Track

Anastasia Mavridou PC Co-Chair

KBR / NASA Ames Research Center

Gwen Salaün PC Co-Chair

University of Grenoble Alpes

France

Bernhard Aichernig Committee Member

Graz University of Technology

Austria

Toshiaki Aoki Committee Member

JAIST

Japan

Kyungmin Bae Committee Member

POSTECH

South Korea

Domenico Bianculli Committee Member

University of Luxembourg

Luxembourg

Simon Bliudze Committee Member

Inria Center at the University of Lillle

France

Giovanna Broccia Committee Member

ISTI-CNR, FMT Lab

Italy

Radu Calinescu Committee Member

University of York, UK

United Kingdom

Pablo Castro Committee Member

Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Argentina

Zhenbang Chen Committee Member

College of Computer, National University of Defense Technology

China

Nancy Day Committee Member

University of Waterloo, Canada

Canada

Francisco Durán Committee Member

University of Málaga, Spain

Spain

Marie Farrell Committee Member

The University of Manchester

United Kingdom

Carlo A. Furia Committee Member

Università della Svizzera italiana (USI)

Switzerland

Fatemeh Ghassemi Committee Member

University of Tehran

Iran

Divya Gopinath Committee Member

NASA Ames (KBR Inc.)

Yann-Gaël Guéhéneuc Committee Member

Concordia University and Polytechnique Montréal

Canada

Paula Herber Committee Member

University of Munster, Germany

Germany

Marieke Huisman Committee Member

University of Twente

Netherlands

Fuyuki Ishikawa Committee Member

National Institute of Informatics

Japan

Xiaoqing Jin Committee Member

Apple

United States

Oleksandr Kolchyn Committee Member

Glushkov Institute of Cybernetics

Ukraine

Antónia Lopes Committee Member

University of Lisbon

Portugal

Larissa A. Meinicke Committee Member

Violet Ka I Pun Committee Member

Western Norway University of Applied Sciences

Norway

Camilo Rocha Committee Member

Pontificia Universidad Javeriana

Colombia

Cristina Seceleanu Committee Member

Mälardalen University

Sweden

Arpit Sharma Committee Member

Indian Institute of Science Education and Research Bhopal

India

Allison Sullivan Committee Member

The University of Texas at Arlington

Heike Wehrheim Committee Member

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany