Morgan Magnin obtained his PhD in 2007. He is now an associate professor at the Computer Science and Mathematics department of École Centrale de Nantes, a french top engineering school. His long-term interests for Information and Communication Technology applied to Education (which is called, in french, Technologies de l’information et de la Communication pour l’Enseignement – TICE) conducted him to be nominated as Project Manager of these fields at Centrale Nantes.
His thesis focused on formal verification through time extensions of Petri nets (the so-called stopwatch Petri nets). Since 2008, he is much interested in the application of formal methods to biological systems. He is doing his research in the MeForBio (Formal Methods for Bio-Informatics) team at IRCCyN (Institut de Recherche en Communications et Cybernétique de Nantes), France.
He collaborates with various cultural entities. He is the co-founder of Univers partagés, a french organization that promotes graphical pop-culture (mangas, comics, animated movies). Since 2006, he is a permanent member of the organizing commitee of the Utopiales, the International Science-Fiction Festival that takes place in Nantes.
