Program Committee Members FormaliSE Research Track

Vander Alves

University of Brasília

Brazil

Haniel Barbosa

Universidade Federal de Minas Gerais

Brazil

Gustavo Betarte

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

Uruguay

Domenico Bianculli

University of Luxembourg

Luxembourg

Simon Bliudze

Inria Center at the University of Lillle

France

Silvia Bonfanti

University of Bergamo

Italy

Marsha Chechik

University of Toronto

Canada

Alcino Cunha

University of Minho; INESC TEC

Portugal

Renzo Degiovanni

Luxembourg Institute of Science and Technology

Luxembourg

Carlo A. Furia

Università della Svizzera italiana (USI)

Switzerland

Ernst Moritz Hahn

University of Twente

Netherlands

NIANYU LI

ZGC Lab, China

China

Livia Lestingi

DEIB, Politecnico di Milano

Italy

Carlos Gustavo Lopez Pombo

Universidad Nacional de Rio Negro

Shahar Maoz

Tel Aviv University

Israel

Alexandra Mendes

Faculty of Engineering, University of Porto & INESC TEC

Portugal

Rosemary Monahan

Ireland

Logan Murphy

Quentin Nivon

University Grenoble Alpes

France

Diego Perez-Palacin

Linnaeus University

Luigia Petre

Åbo Akademi University

Finland

Franco Raimondi

Gran Sasso Science Institute (GSSI)

Italy

Sanjai Rayadurgam

University of Minnesota

United States

Camilo Rocha

Pontificia Universidad Javeriana

Colombia

Emil Sekerinski

McMaster University, Canada

Canada

Paola Spoletini

Kennesaw State University

United States

Allison Sullivan

University of Texas at Arlington

United States

Leopoldo Teixeira

Federal University of Pernambuco

Brazil

Christos Tsigkanos

University of Athens, Greece

Greece

Zhenya Zhang

Kyushu University

Japan

Maurice ter Beek

CNR-ISTI Pisa, Italy

Italy