Positions Education Teaching PhD Study Activities

Engel Lefaucheux
Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
Campus de Beaulieu
35042 Rennes cedex - France
Office C209
+33 (0)2 99 84 22 23
[email protected]
http://www.lsv.ens-cachan.fr/~lefaucheux/?l=en
Birth date: 17/05/1991
French citizen
Positions
sept. 2015
PHD student under the co-supervision of Nathalie Bertrand at IRISA Rennes
(Team SUMO) and of Serge Haddad at ENS Cachan, LSV (team MExICo), on
Controlling information in probabilistic systems.
Education
2011-2015
Student at ENS de Cachan
2014-2015 ARPE (Year long internship) 6 months under the supervision of Gilles
Geeraerts on Priced Timed Games and 4 months with Nathalie Bertrand and
Serge Haddad on Diagnosis of Infinite State Probabilistic Systems
2013-2014 Master’s degree (M2) in Computer Science with high distinction, Parisian
Master for Research in Computer Science (MPRI)
Master internship supervised by Nathalie Bertrand and Serge
Haddad IRISA, Rennes Diagnosis and Predictability of Probabilistic
Systems
2012-2013
2011-2012
Master 1 in Computer Science MPRI
Master internship supervised by Nir Piterman University of Leicester Algorithm on p-Automata
B.Sc (L3) in Computer Science with high Distinction
Summer internship supervised by Hugo Gimbert Team Méthodes
Formelles in LaBRI, Bordeau The Emptiness Problem of Probabilistic
Automata
2009-2011
Preparation for the competitive entrance examinations to French Engineering
Schools Intensive two-year university-level programme, Lycée Saint-Louis in Paris
2009
Baccalaureat with Scientific orientation
Teaching
2015-2016
2015-2016
Tutorials and Practical Sessions for Initiation to Programmation in Java (48h)
UFR of Computer science in Paris Diderot
Practical Sessions for Java programming (16h) UFR of Computer science in Paris
Diderot
PhD Study Activities
May-June 2016
May 2016
October 2015
September 2015
August 2016
Initiation aux pratiques de médiation scientifique - Participation au festival
Paris-Montagne (festival de sciences pour collégiens) ENS Paris
Digicosme Spring school on Hybrid Systems ENSTA Paristech
Prise de parole en public Université Rennes 1
Journée sur l’expertise scientifique Université Rennes 1
Ecole Temps-Réel (ETR) INRIA Rennes
Conference and Journal refeering
Journal of Critical Computer-Based Systems (IJCCBS)
Computer skills
OCaml, Java, Pascal, Scheme, Prolog, LATEX
Languages
French: mother tongue
– English: advanced, written and spoken
–
Chinese: beginner
Publications
International conferences with selection committee
[1]
Nathalie Bertrand, Serge Haddad, and Engel Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems. In
Proceedings of the 27th International Conference on Concurrency Theory (CONCUR’16). Josée Desharnais and
Radha Jagadeesan, editors. In Leibniz International Proceedings in Informatics. To appear. Leibniz-Zentrum für
Informatik, Québec City, Québec, Canada, August 2016. url: https://hal.inria.fr/hal-01334218.
[2]
Éric Fabre, Loïc Hélouët, Engel Lefaucheux, and Hervé Marchand. Diagnosability of Repairable Faults. In Proceedings of the 13th Workshop on Discrete Event Systems (WODES’16). Christos G. Cassandras and Alessandro
Giua, editors. IEEE Control System Society, Xi’an, China, 2016, pages 230–236. doi: 10.1109/WODES.2016.
7497853. url: https://hal.inria.fr/hal-01302562.
[3]
Nathalie Bertrand, Serge Haddad, and Engel Lefaucheux. Accurate Approximate Diagnosability of Stochastic
Systems. In Proceedings of the 10th International Conference on Language and Automata Theory and Applications (LATA’16). Carlos Martín-Vide, editor. Volume 9618. In Lecture Notes in Computer Science. Springer,
Prague, Czech Republic, March 2016, pages 549–561. doi: 10.1007/978- 3- 319- 30000- 9_42. url: http:
//www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHL-lata16.pdf.
[4]
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, and Benjamin Monmege. Simple Priced
Timed Games Are Not That Simple. In Proceedings of the 35th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’15). Prahladh Harsha and G. Ramalingam, editors. Volume 45. In Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, Bangalore, India,
December 2015, pages 278–292. doi: 10 . 4230 / LIPIcs . FSTTCS . 2015 . 278. url: http : / / www . lsv . ens cachan.fr/Publis/PAPERS/PDF/BGHLM-fsttcs15.pdf.
[5]
Nathalie Bertrand, Serge Haddad, and Engel Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical
Computer Science (FSTTCS’14). Venkatesh Raman and S. P. Suresh, editors. Volume 29. In Leibniz International
Proceedings in Informatics. Leibniz-Zentrum für Informatik, New Dehli, India, December 2014, pages 417–429.
doi: 10.4230/LIPIcs.FSTTCS.2014.417. url: http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHLfsttcs14.pdf.
Thesis and internship reports
[6]
Engel Lefaucheux. Détection de fautes dans les systèmes probabilistes. Rapport de Master. Master Parisien de
Recherche en Informatique, Paris, France, 2014.
[7]
Engel Lefaucheux. Emptiness Problem for p-Automata. Master 1 Internship Report. Master Parisien de Recherche
en Informatique, Paris, France, 2013.
[8]
Engel Lefaucheux. Problèmes décidables et indécidables pour les automates probabilistes. Licence 3 Internship
Report. ENS de Cachan, 2012.
Selection of recently given talks
[9]
Highlights Conference (Brussels). Simple Priced Timed Games are not That Simple. September 2016.
[10]
GT Vérif (Paris). Diagnosis in Infinite-State Probabilistic Systems. June 2016.
[14]
PhD Seminar LIRMM (Montpellier). Diagnosability of Stochastic Systems. May 2016.
[13]
MeFoSyLoMa (Paris). Accurate Approximate Diagnosability of Stochastic Systems. March 2016.
[12]
Fifth Cassting Meeting (Brussels). Negatively-priced timed games. May 2015.
[11]
GT Vérif (Paris). Specification and Verification of Diagnosis and Predictability in Probabilistic Systems. June
2014.