Formation Expérience professionnelle

Alexandre CORTIER
41 Rue Louis-Marc Demouilles
31400 Toulouse
Tél. : [phone]
E-mail : [email protected]
E-mail : [email protected]
Né le 02/03/1981
Formation
2004-... THÈSE D’INFORMATIQUE.
ONERA Toulouse, Département Traitement de l’Information et Modélisation (DTIM)
.Sujet de thèse : Validation Formelle de Systèmes Interactifs (Java-Swing).
2003-2004 DEA INFORMATIQUE (MATSER 2).
Université de Poitiers - DEA T3IA : Traitement de l’Information, Informatique, Image et
Automatique
.Mention Bien.
2003-2004 INGÉNIEUR ENSMA.
Ecole Nationale Supérieure de Mécanique et d’Aérotechnique - Poitiers
2002-2003 MAÎTRISE DE MÉCANIQUE (MASTER 1).
Université de Poitiers
.Mention Bien.
1999-2001 CLASSES PRÉPARATOIRES.
.1ere année : MPSI au Lycée Hoche (Versailles).
.2nd année : PSI au Lycée J.B Say (Paris).
1998 BACCALAURÉAT.
.Bac Série S, Mention Bien
Expérience professionnelle
2004-2007 ONERA Toulouse, Département Traitement de l’Information et Modélisation (DTIM)
.Etude de l’application des Méthodes Formelles dans le domaine des Systèmes Interactifs.
.Développement d’un outil prototype (Java) : Analyse Statique de code source Java-Swing (par-
sing), extraction de modèles et validation.
.Analyse formelle : utilisation de la méthode B événementielle.
2004-2007 INSA Toulouse, Département de Génie Electrique et Informatique (DGEI)
.Vacataire : Cours et TPs de programmation temps réel embarqué. (3eme année INSA + Master).
.Contenu : Langages Synchrones (Lustre,Esterel,Signal), Vérification Formelle, Génération de
code, Programmation temps réel en C (noyau temps réel VxWorks).
2004
(6 mois) LISI : Laboratoire d’Informatique Industrielle et Scientifique (ENSMA,Poitiers), Stage de DEA
.(Méta)-Modélisation d’unearchitecture à base de composants pour le développementmulti-vues
de systèmes embarqués.
.Utilisation du langage de modélisation de données EXPRESS.
2003
(4 mois) CSTB : Centre Scientifique et Technique du Bâtiment (Marne-La-Vallée), Stage Ingénieur .Modélisation du comportement en traction et cisaillement de chevilles pour béton. Analyse de
données.

Compétences
Systèmes d’exploitation
.Windows, Linux, Sun.
Développement
.Langages de programmation : Fortran, Ada, Java, C, C++, LabView, PHP/SQL, XML.
.Langages de modélisation : EXPRESS, UML, SADT.
.Outils de compilation : Lex, Yacc, Javacc, JJtree.
Systèmes temps réel embarqués
.Langages : ADA temps réel, Scade/Lustre, Esterel, Signal, automates.
.Ordonnancement : algorithmes classiques, politiques d’ordonnancements.
.Code distribué : sémaphores, threads, interruptions.
Informatique fondamentale
.Langages de spécifications formelles : Lustre, Esterel, Méthode B et B événementiel.
.Systèmes de Preuves : Model Checking, Theorem Proving, Logiques Temporelles, ...
Langues
.Pratique courante de l’Anglais écrit et oral. (TOEIC)
.Connaissances scolaires en Allemand.
Informations Complémentaires
Titulaire du permis B.
Loisirs :
.Musique : Guitare, Didgeridoo
.Sports : Gymnastique aux agrès, escalade, randonnées
Références
[1] Aït-Ameur, Y., Cortier, A., Delmas, R., Wiels, V. : Modélisation Formelle de Composants Avio-
niques. Utilisation du Langage de Modélisation de Données EXPRESS. In : Actes des journées
Objets, Composants et Modèles (OCM 2005), Grenoble (Mai 2005)
[2] Aït-Ameur, Y., Cortier, A., Delmas, R., Wiels, V. : Formal modelling of avionics systems. An ap-
proach based on category theory and the EXPRESS modelling language. In : Proceedings of IEEE
International Symposium on Leveraging Formal Methods Applications (ISOLA 2006), Paphos (Cyprus),
IEEE Computer Society (November 2006) 27–35
[3] Cortier, A., d’Ausbourg, B., Aït-Ameur, Y. : Contribution à la Validation Formelle des Systèmes
Interactifs. In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2007),
Namur, Marie Laure Potet, Pierre Yves Schobbens, Hubert Toussaint, Germain Saval (Juin 2007) 21–38
[4] Cortier, A., d’Ausbourg, B., Aït-Ameur, Y. : Formal Validation of Java/Swing User Interfaces with
the Event B Method. In Jacko, J., ed. : 12th International Conference on Human-Computer Interaction
(HCI’07), Proceedings Volume 1, Beijing (China), Springer (July 2007)