Coordonnées

1 rue de la Noë BP 92101 44321 Nantes Cedex 3

E214

Tél
02 40 37 69 78
Fax
02 40 37 25 78
Bureau 2
S518
Téléphone 2
02 40 37 69 78
Mail
morgan.magnin@irccyn.ec-nantes.fr
Site internet
http://www.irccyn.ec-nantes.fr/~magnin

Discipline(s)

Informatique

Discipline(s) enseignée(s)

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.

Thèmes de recherche

Vérification formelle des systèmes embarqués Bio-informatique : modélisation et inférence de paramètres sur les systèmes biologiques

Activités / CV

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


Corps

Maître de Conférences

Informations complémentaires

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 10 avril 2014