Mohamed Faouzi Atig, UPPSALA University

Professor in computer systems at the Department of Information Technology, Uppsala University. its research interests broadly span model checking, verification of infinite-state systems, weak memory models, and automata theory.

Sylvain Conchon, Paris-Saclay University

Professor at Paris-Saclay University and a member of LMF (the Formal Methods Laboratory - ULMR 9061) and the Toccata team, a joint project with INRIA Saclay - Île-de-France. Previously, He was Senior Research Associate in the OBASCO team at Ecole des Mines de Nantes, Senior Research Associate in the PacSoft team at the OGI School of Science & Engineering at OHSU and Ph.D student at INRIA Rocquencourt in the MOCSOVA team