Fonction
- Professeur(e) des universités
- Responsable Département TICe et pédagogie
- Département Mathématiques, Informatique et Biologie (MIB)
Morgan Magnin
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.Magninb370e542-d2ee-4b71-81fd-eaeb196fd810@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ésBio-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
- 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
- Co-responsable du projet "Most complex systems with simplest tools" concernant le déploiement, en partenariat avec HP, de Tablets PC au sein de l'École Centrale de Nantes
- Membre permanent du comité d'organisation du Festival International de Science-Fiction de Nantes
- 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. - Publications
- Publications
- 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"
- 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.