Artifact Evaluation Committee Members FormaliSE Artifact Track

Kumar Acharjee

University of York

James Baxter

Sung Woo Choi

University of Florida

Angela Cortecchia

Alma Mater Studiorum - Università di Bologna

Italy

Davide Domini

Alma Mater Studiorum - Università di Bologna

Italy

Federico Formica

McMaster University

Canada

Christophe Garion

ISAE-SUPAERO

France

Carlos Isasa

Jialong Li

Waseda University, Japan

Japan

Yuntao Li

University of Florida

Carlos Luna

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

Uruguay

Claudio Mandrioli

University of Luxembourg

Luxembourg

Mahrokh Mirani

Gran Sasso Science Institute (GSSI)

Seunghyeon Nam

Seoul National University

Angeliki Pantiora

University of Athens

Nico Pellegrinelli

University of Bergamo

Nawshin Mannan Proma

University of York

Ilia Shevrin

Tel Aviv University

Álvaro F. Silva

Independent Researcher

Haoyu Wang

Singapore Management University

Drishti Yadav

University of Luxembourg, Luxembourg

Luxembourg