Dossier de Mohamed Faouzi Atig

Curriculum Vitae

Formation

Juillet 2010- Université d'Uppsala, Suède. Post-doc au sein de léquipe Vérification dans le cadre du projet UPMARC.
2006–2010 Université Paris Diderot-Paris 7, France. Thèse de doctorat au sein du laboratoire LIAFA. Thèse encadrée par Ahmed Boujjani et Tayssir Touili, soutenue le 7 juin 2010. Mention très honorable.
2005–2006 Université Paris Diderot-Paris 7, France. Master Parisien de Recherche en Informatique (MPRI), 2e année.
2002–2005 École Polytechnique de Tunisie, Tunisie. Diplôme dingénieur option Signaux et Systèmes. Major de la promotion.
2000–2002 Institut Préparatoire aux études scientifiques et techniques, Tunisie. Classes préparatoires MPSI puis MP*.
2000 Lycée Abou Loubaba, Tunisie. Baccalauréat Mathématiques. 1er à léchelle régional.

Activités liées à la recherche

Raporteur J'ai été relecteur pour les conférences internationales et les workshops internationaux suivants: TACAS 2009, CAV 2009, CONCUR 2009, RP 2009, INFINITY 2009, FSTTCS 2009, POPL 2010, LICS 2010, TACAS 2010, CAV 2010, CONCUR 2010, SPIN 2010, FoVeOOS 2010, FSTTCS 2011, POPL 2011, et SOFSEM 2011.
Présentations J'ai présenté mes travaux à l'occasion d'exposés suivants: Conference on Concurrency Theory (Paris), séminaire d'UpMARC de l'université d'uppsala (Sweden), séminaire de léquipe modélisation et vérification du LABRI (Bordeaux 1, France), séminaire de léquipe modélisation et vérification du LIAFA (Paris 7, France), Workshop on Reachability Problems (France), Dagstuhl Seminar on Design and Validation of Concurrent Systems (Germany), Conference on Tools and Algorithms for the Construction and Analysis Systems (UK), Tresor seminar at EPFL (Switzerland), Microsoft Research Redmond (USA), Conference on Concurrency Theory (CANADA), Conference on Developments in Language Theory (Japan), Conference on Foundations of Software Technology and Theoretical Computer Science (India).
Mobilité J'ai effectué les séjours suivants: Deux semaines auprès de Markus Müller-Olm (Münster, Allemagne), une semaine auprès de Shaz Qdeer (Microsoft Research, Redmond), et deux mois auprès de Parosh Aziz Abdulla (Uppsala, Suède).

Enseignement

2008–2009 Calcul numérique en L3, 14h de TP.
2008–2009 Automates finis en L2, 52h de TD et TP.
2007–2008 Concepts informatiques en L2, 14h de TD.
2007–2008 Initiation à la programmation en L1, 78h de TP.
2006–2007 Types de données et objets en L1, 52h de TD et TP.

Stages de recherche pré-doctoraux

2006 Stage de Master 2e année au sein du laboratoire LIAFA. Stage de durée 6 mois et encadré par Ahmed Bouajjani et Tayssir Touili. Sujet de stage: Logique pour les programmes concurrents.
2005 Projet de fin détude dans le laboratoire LIAFA. Stage de durée 3 mois et encadré par Ahmed Bouajjani et Tayssir Touili. Sujet de stage: Mise en place dun outil pour la vérification des programmes récursifs avec paramètres.
2004 Stage ingénieur au sein de THALES TRAINING and SIMULATION. Stage de durée 2 mois et encadré par Serge Couvet. Sujet de stage: Étude et conception de la commande optimale dune plate-forme pour simulateurs dhélicoptères ou davions.
En cas de problème avec ce dossier, contactez le secrétaire du prix Mathieu Giraud