Morgan Magnin

ORCID iD
https://orcid.org/0000-0001-5443-0506
  • Country
  • Show details Hide details
France

Sources:
Morgan Magnin (2016-01-24)

  • Keywords
  • Show details Hide details
bioinformatics,

Sources:
Morgan Magnin (2014-09-08)

model-checking,

Sources:
Morgan Magnin (2014-09-08)

e-learning

Sources:
Morgan Magnin (2014-09-08)

  • Websites
  • Show details Hide details
Professional webpage

Sources:
Morgan Magnin (2014-09-08)

Biography

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
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No employment added yet
No publications added yet

Record last modified {{lastModifiedDate}}