FormaliSE2020 Home
 

Program committee



Name Affiliation
Ana Cavalcanti University of York
Axel Legay UCLouvain
Carlo A. Furia USI (Università della Svizzera italiana)
Claudio Menghi University of Luxembourg
Domenico Bianculli chair University of Luxembourg
Ebru Aydin Gol Middle East Technical University
Einar Broch Johnsen University of Oslo
Eunsuk Kang Carnegie Mellon University
Gerardo Schneider University of Gothenburg
Gwen Salaün Inria, Grenoble-Rhône-Alpes and LIG Grenoble INP,France
Jorge Sousa Pinto HASLab/INESC TEC & Universidade do Minho, Portugal
Kazuhiro Ogata Japan Advanced Institute of Science and Technology
Kyungmin Bae chair POSTECH
Magnus Myreen Chalmers University of Technology
Marc Frappier Université de Sherbrooke
Marie-Christine Jakobs Technische Universität Darmstadt
Matteo Rossi Politecnico di Milano
Maurice ter Beek ISTI-CNR
Meng Sun Peking University
Michael Whalen University of Minnesota
Mieke Massink ISTI-CNR
Nancy Day University of Waterloo
Osman Hasan National University of Sciences & Technology
Paola Spoletini Kennesaw State University
Patrizio Pelliccione Chalmers | University of Gothenburg and University of L'Aquila
Peter Ölveczky University of Oslo
Rahul Purandare IIITD
Sibylle Schupp Hamburg University of Technology
Simon Bliudze Inria Lille
Stefano Tonetta FBK
Toshiaki Aoki JAIST
Yunja Choi Kyungpook National University