Morgan Magnin (associate professor at Ecole Centrale de Nantes, 35 years old) obtained his PhD in 2007; his thesis addressed model-checking approaches through timed extensions of Petri nets. He then focused on the benefits of formal approaches for biological applications, topic at the core of the habilitation thesis he defended in 2016.
He has co-supervised 5 PhD theses and 7 Master theses, and published 3 book chapters, 10 papers in international journals, 2 national journal, 18 papers in international conferences, 10 papers in national conferences.
Since April 2015, he formally holds a “visiting associate professor” position at the National Institute of Informatics (NII) in Tôkyô.