MAGNIN Morgan

J-GLOBAL         Last updated: Dec 17, 2014 at 17:22
 
Avatar
Name
MAGNIN Morgan
E-mail
morgan.magninirccyn.ec-nantes.fr
URL
http://www.morganmagnin.net
Affiliation
National Institute of Informatics, Inoue Lab.
Job title
Associate Professor
Degree
PhD(Ecole Centrale de Nantes), Master(Ecole Centrale de Nantes), Engineering degree(Ecole Centrale de Nantes)
Other affiliation
Ecole Centrale de Nantes, IRCCyN, Nantes, France
Twitter ID
morgan_it

Profile

Formal verification
My PhD thesis adressed formal verification of embedded systems. It was defended at IRCCyN (Nantes, France) on December 13, 2007. It focused on a time extension of Petri nets incorporating the concept of clock that could be stopped and resumed: Petri nets with stopwatches. These suspension/resuming mechanisms are an integral part of preemptive scheduling policies for embedded systems, but are also at the roots of many biological regulatory networks.

After my PhD, I felt the need to study the living instead of machines. That’s how I got interested in this new area of ​​application of formal methods that are biological systems.

Bio-Informatics
Once I have been recruited as an Associate Professor in Computer Science at Ecole Centrale de Nantes (ECN) in 2008, I have joined the MeForBio (Formal Methods Applied to Bio-Informatics) team at IRCCyN. In Systems Biology, we study biological systems (such as regulatory networks of genes) that can be expressed as formal models. In order to verify (and control) properties of these systems, it is possible to implement model-checking methods instead of simulating all possible behaviors.

My main research interests involve the application of formal verification methods in bioinformatics, including:

Model-checking genetic regulatory networks
Inference of temporal parameters in biological regulatory networks
Methodological approaches based on the complementarity between models

Published Papers

 
Simon Carolan,Francisco Chinesta,Christine Evain,Morgan Magnin,Guillaume Moreau
IEEE 14th International Conference on Advanced Learning Technologies, ICALT 2014, Athens, Greece, July 7-10, 2014   544-545   2014   [Refereed]
Simon Carolan,Francisco Chinesta,Christine Evain,Morgan Magnin,Guillaume Moreau
IEEE 13th International Conference on Advanced Learning Technologies, ICALT 2013, Beijing, China, July 15-18, 2013   512-513   2013   [Refereed]
Courtney Chancellor,Amine Ammar,Francisco Chinesta,Morgan Magnin,Olivier Roux
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings   50-63   2013   [Refereed]
Maxime Folschette,Loïc Paulevé,Morgan Magnin,Olivier Roux
Electr. Notes Theor. Comput. Sci.   299 33-51   2013   [Refereed]
Maxime Folschette,Loïc Paulevé,Katsumi Inoue,Morgan Magnin,Olivier Roux
Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings   166-186   2012   [Refereed]

Misc

 
SCHWIND NICOLAS, MAGNIN MORGAN, INOUE KATSUMI
人工知能学会全国大会論文集(CD-ROM)   27th ROMBUNNO.3C4-IOS-4A-2   2013