Marie-Magdeleine LIONEL

En résumé

Entreprises

• Systerel - Ingénieur de developpement

  Aix en Provence 2014 - maintenant En prestation chez Alstom transport, je participe au développement des logiciels d'exploitation d'une nouvelle génération de métro.

• EADS APSYS - Ingénieur d'étude

  Blagnac 2012 - 2014 Modélisation de systèmes aéronautiques pour la réalisation d'analyses safety et de fiabilité opérationnelle.

• Université de Perpignan - Attaché Temporaire d'Enseignement et de Recherche

  2010 - 2012 -Enseignement aux étudiants de premier cycle universitaire
  -Recherche au sein du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM) sur la propagation des erreurs dans l'arithmétique des flottants.

• SUPINFO, INSA, Université Toulouse 1, Université Toulouse 3 - Enseignant vacataire

  2006 - 2010 Enseignement de l'Informatique et des Mathématiques aux étudiants de Licence.
  
  Matières enseignées (Base de donnée, cryptographie, programmation, systèmes d'exploitation ...)

• Institut de Recherche en Informatique de Toulouse (IRIT) - Chercheur

  2005 - 2009 Thèse de Doctorat sur l'amélioration d'un système de calcul permettant la conception de logiciels certifiés.
  Mots clés : Lambda-calcul, Type dépendant, réécriture, théorie de la démonstration

• Commissariat à l'Energie Atomique de Saclay (CEA) - Stage de Recherche et Developpement

  2005 - 2005 Étude et amélioration d'un outil de model checking symbolique.
  Étude des différents paradigmes de modélisation (Synchrone, asynchrone etc.)

Formations

• Université Bordeaux 1 Sciences Et Technologies Master ISC

  Talence 2004 - 2005 Master 2

• Université Bordeaux 1 Sciences Et Technologies

  Talence 2003 - 2004 Master 1

Réseau

• Caroline HAZEBROUCK

• Emilie GUILLOT

• Frédéric BIOLET

• Grégory CLAUDE

• Guillaume GOUTTEBROZE

• Julie NOEL

• Lucie VIVIAN

• Paul-Emmanuel FRANCHE

• Sebastien LOISEL