Morgan Magnin

Fonction

  • Professeur(e) des universités
  • Responsable Département TICe et pédagogie
  • Département Mathématiques, Informatique et Biologie (MIB)

Coordonnées

Téléphone :
02 40 37 69 78
Mobile :
02 40 37 69 78
Télécopie :
02 40 37 25 78
Courriel :
Morgan.Magninfffbd566-dbda-4d09-ac4b-4a67478380e5@ec-nantes.fr
Bureaux :
E221
Page personnelle :
http://www.morganmagnin.net

Laboratoire

Laboratoire des sciences du numérique de Nantes

Recherche

Vérification formelle des systèmes embarqués
Bio-informatique : modélisation et inférence de paramètres sur les systèmes biologiques
Parcours
Parcours Formation
  • Docteur de l'École Centrale de Nantes et de l'Université de Nantes, spécialité Automatique et Informatique Appliquée, décembre 2007
  • Ingénieur de l'École Centrale de Nantes, option Informatique, 2004
  • DEA de l'École Centrale de Nantes, spécialité Automatique et Informatique Appliquée, filière Systèmes Temps Réel, septembre 2004
Expériences professionnelles
  • Maître de conférences, École Centrale de Nantes, département Informatique et Mathématiques, depuis 2008
  • A.T.E.R., École Centrale de Nantes, département Informatique et Mathématiques, 2007-2008
  • Doctorant BDI/Moniteur, CNRS/École Centrale de Nantes département Informatique et Mathématiques, 2004-2007
Responsabilités

Enseignement
Enseignement Informatique (tronc commun et option informatique)
Responsable du cours "Systèmes d'Information et Bases de Données" (SIBAD) en première année et du cours "Systèmes, Réseaux et Technologies de l'Information" (SRETI) en troisième année informatique.
Actualités
  • novembre 2008 : encadrement d'un groupe d'EI3 sur un projet associant l'École Centrale de Nantes au programme Éducation d'OpenOffice.
  • septembre 2008 : recrutement en tant que maître de conférences à l'École Centrale de Nantes. Lancement du blog Tablets PC à Centrale Nantes, dans le cadre du concours HP TFT. Début du co-encadrement de la thèse de doctorat de Loïc Paulevé (avec Olivier Roux) sur l'introduction de paramètres temporels dans la modélisation de processus de régulation entre gênes.
  • mai 2008 : lauréat de l'appel d'offres HP Technology for Teaching (TFT) avec Guillaume Moreau et Stéphane Tichadou
  • décembre 2007 : soutenance de thèse sur le sujet "Réseaux de Petri à chronomètres : temps dense et temps discret"
Publications récentes
  • Morgan Magnin, Didier Lime and Olivier H. Roux, Symbolic state space of Stopwatch Petri nets with discrete-time semantics. In the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN 2008), Xi'an, China.
  • Morgan Magnin, Pierre Molinaro and Olivier H. Roux. Decidability, expressivity and state-space computation of Stopwatch Petri nets with discrete-time semantics. In the 8th International Workshop on Discrete Event Systems (WODES 2006), Ann Arbor, USA, july 2006.
  • Morgan Magnin, Didier Lime and Olivier H. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In the 3rd International Workshop on Software Model-Checking (SoftMC 2005), Edinburgh, Scotland, UK, july 2005. Elsevier.
  • Guillaume Gardey, Didier Lime, Morgan Magnin and Olivier H. Roux. Roméo: A Tool for Analyzing Time Petri Nets. In the 17th International Conference on Computer-Aided Verification (CAV 2005), Edinburgh, Scotland, UK, july 2005. Copyright Springer-Verlag.
Publié le 25 septembre 2008 Mis à jour le 19 septembre 2023