Artifact Evaluation Committee Members FormaliSE Artifact Track

Omar AbedelKader Committee Member

INRIA Lille

France

Fnu Aditi Committee Member

University of California, Berkeley, USA

United States

Syed Ali Asadullah Bukhari Committee Member

Maynooth University

Ireland

Gabriele Cecilia Committee Member

Computer and Cyber Sciences, Augusta University, Georgia, USA

Italy

Dong Chen Committee Member

Thomas Flinkow Committee Member

Maynooth University, Ireland

Kota Fukuda Committee Member

Kyushu University

Japan

Christophe Garion Committee Member

ISAE-SUPAERO

France

Berk Hadzhamolla Committee Member

University of Oslo, Norway

Peter Hanukaev Committee Member

Augusta University

Holly Hendry Committee Member

University of York

United Kingdom

Marian Lingsch-Rosenfeld Committee Member

LMU Munich

Claudio Mandrioli Committee Member

University of Luxembourg

Luxembourg

Seunghyeon Nam Committee Member

Seoul National University

Balthazar Patiachvili Committee Member

ENS PSL / Inria

France

Nico Pellegrinelli Committee Member

University of Bergamo

Nawshin Mannan Proma Committee Member

University of York

Juliane Päßler Committee Member

TU Wien

Álvaro F. Silva Committee Member

INESC TEC; University of Porto

Portugal

Amandeep Singh Committee Member

Google

United States

Ioannis Stefanakos Committee Member

University of York

United Kingdom

Drishti Yadav Committee Member

University of Luxembourg, Luxembourg

Luxembourg

Sinem Getir Yaman

University of York (UK)