Skip to content

Morgan Magnin

  • PhD
  • JSPS Invited Researcher
  • National Institute of Informatics (NII)
  • 7h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 218CitationsNumber of citations received by Morgan's publications. Updated daily.

Recent publications

  • Under-approximation of reachability in multivalued asynchronous networks

    • Folschette M
    • Paulev?? L
    • Magnin M
    • et al.
    N/AReaders
    N/ACitations
  • Decidability, expressivity and state-space computation of Stopwatch Petri nets with discrete-time semantics

    • Magnin M
    • Molinaro P
    • Roux O
    N/AReaders
    N/ACitations

Professional experience

JSPS Invited Researcher

National Institute of Informatics (NII)

June 2014 - Present

Associate Professor

Ecole Centrale de Nantes

September 2008 - Present

Education

PhD

École Centrale de Nantesa

September 2004 - December 2007(3 years)

Master in Applied Computer Science

Ecole Centrale de Nantes

September 2003 - September 2004(a year)

Engineering degree

Ecole Centrale de Nantes

September 2001 - September 2004(3 years)

About

Morgan Magnin graduated from Ecole Centrale de Nantes engineering teaching course in 2004. He obtained a master in automatics and applied informatics the same year. December 13th 2007, He defended his PhD thesis on the following subject: "Stopwatch Petri nets: dense-time and discrete-time". He is currently associate professor in Computer Science at École Centrale de Nantes. His research are done at IRCCyN (Institut de Recherche en Communications et en Cybernétique de Nantes), in the MOVES (Modeling and Verification of Embedded Systems) team. He studies how formal methods for modeling and verifying systems can be applied to biological systems (e.g. gene regulatory networks). 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. He works for the Chief Information Officer (Guillaume Moreau) and the Head of Studies (Philippe Dépincé). He is co-lead of various projects involving ICT. The project "Most complex systems with simplest tools", that aims to improve pedagogical methods thanks to Tablet PC, is one of them. You may find further information about these activities at: http://eat-tice.ec-nantes.fr

Co-authors (129)

Other IDs