| 2006 - 2009 |
Doctorat Automatique et Informatique Appliquée Université de Nantes, Laboratoire IRCCyN, Équipe Systèmes Temps Réel Titre : Vérification et dépliages de réseaux de Petri paramétrés Soutenu le vendredi 27 novembre 2009 à l'École Centrale de Nantes. Composition du jury :
| |||||||||||||||||||
| 2005 - 2006 | Master recherche Automatique
et Systèmes de Productions École Centrale de Nantes, spécialité Systèmes de Productions (mention Bien). Titre : Stratégies d'analyse d'une fraction d'un réseau de Petri T-temporel Encadrant : David DELFIEU Laboratoire IRCCyN, Équipe Système Temps Réel. | |||||||||||||||||||
| 2003 - 2006 | Diplôme d'Ingénieur. École Centrale de Nantes, Option Informatique (mention Très Bien). |
| 2008 - 2009 | Algorithmique et Programmation. Vacations à l'Université de Nantes. TD et TP d'enseignement de base de l'algorithmique et de la programmation en C++. 30h d'enseignements équivalent TD en Licence 1. | 2008 - 2009 | Administration Systèmes et Réseaux. Vacations à l'IUT de Nantes. TD sur machines. Apprentissage de l'administration d'un système sous Unix et de la gestion des réseaux. 20h d'enseignements équivalent TD en 1ère année de DUT. |
2006 - 2007 | Méthodes Logicielles. Vacations à École Centrale de Nantes. TP d'apprentissage de la programmation objet en Java. 15h d'enseignements équivalent TD en 2ème année d'école d'ingénieur. |
| Français : | Langue maternelle. |
| Anglais : | Courant, titulaire du TOEIC avec 845 points en 2004. |
| Italien : | Bonnes compétences de communications. |
| Notions d'allemand et d'espagnol. | |
| Langages | C, C++, Java, Lisp, Prolog, XHTML, CSS, XML, Latex. |
| Logiciels | Eclipse, Matlab et Simulink, Maple, Subversion, outils de bureautique. |
| Environnements | GNU/Linux et Windows. |