Dr Romain Kervarc

Résumé

Professional Experience

• since 2018: head of research team at ONERA
  • since 2023: assistant professor at École polytechnique
• since 2007: research fellow at ONERA (national French aerospace research centre) and part-time teacher:
  • 2017: team leader ad interim following an internal reorganisation and redaction of a new research team project for which I took the lead)
  • since 2011: supply teacher at ÉSIÉA
  • since 2007: supply teacher at Université Sorbonne Paris Nord
• 2002-2006: PhD student at École normale supérieure of Lyon and assistant teacher at École normale supérieure of Lyon and University of Lyon I

Scientific Responsibilities

• since 2022: member of the scientific council of ONERA's department for Information Processing and Systems
• 2009-2013: member of the Supervisory Board and of the Training Committee of ITN (Initial Training Network) MALOA (7^th European framework programme, Marie Curie actions for the mobility of young researchers).
• 2008-2016: member of the Scientific Council of ONERA's Scientific Branch for Information Processing and Systems
• 2002-2003: member of the Scientific Council of École normale supérieure of Lyon (students' elected representative)

Higher Education

• 2002-2006: PhD in formal logic at École normale supérieure de Lyon under the supervision of Pr. Pierre Lescanne
  • thesis: Pure type systems and explicit substitution, defended in February 2007 (summa cum laude)
• 1999-2002: student at École normale supérieure de Lyon
  • 2002: Master's degree in foundations of computer science, magna cum laude
  • 2001: Maîtrise in computer science, summa cum laude
    Erasmus exchange semester at Technische Universität of Munich
  • 2000: Licence (Bachelor's degree) in computer science and mathematics, magna cum laude
• 1997-1999: classes préparatoires (French special classes preparing to the competitive entrance exams of the French elite schools) in Lycée Henri-IV, Paris (major fields : Mathematics, Physics, & Computer Science).
  • 1999 : admitted to École normale supérieure of Lyon (French elite school)
• 1997 : baccalauréat (French national diploma concluding high school education), summa cum laude

Language Skills

• French: mother language
• English: excellent level (read, written and spoken)
• German: excellent level (read, written and spoken)
• Italian: excellent level (read, written and spoken)
• Dutch: average level (read, written and spoken)
• Japanese: basic level

Main Publications

Peer-reviewed journals

• [link] Thibault Lang, Romain Kervarc, Sylvain Bertrand, , Patrice Carle, Thérèse Donath, Roberto Destefanis, Lilith Grassi, Francesca Tiboldo, Frank Schäfer, Scott Kempf, & Johannes Gelhaus. Short and long term efficiencies of debris risk reduction measures: Application to a European LEO mission. In: Advances in Space Research 55(1), p. 282–296, Eslevier, 2015.
• [link] Romain Kervarc, Jean Bourrely, & Claire Quillien. A generic logical-temporal performance analysis method for complex systems. In Mathematics and Computers in Simulation 81(3), p. 717–730, 2010.

Peer-reviewed conferences proceedings

• [link] Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, & Romain Kervarc.Temporal Logic Framework for Performance Analysis of Architectures of Systems. In: Proc. of the 8th International NASA Formal Methods Symposium (NFM), Lecture Notes in Computer Science vol. 9690, p. 3-18, Springer, 2016.
• Romain Kervarc, Ariane Piel, Stéphanie Lala, & Thibault Lang. Assessing functional consequences
  
  of system component impairing, in Proc. of the 14^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2015.
• [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. A formal coloured Petri net model for hazard detection in large event flows. In Proc. of the 20th Asia-Pacific Software Engineering Conference, 2013.
• [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Safety of unmanned
  
  aircraft systems facing multiple breakdowns. In Proc.of the First
  
  French-Singaporean Workshop on Formal Methods and Applications (FSFMA), 2013.
• [link] Judicaël Bedouet, Nicolas Huynh, & Romain Kervarc. GAMME, a meta-model to unify data needs in simulation modelling, in Proc. of the Symposium on Theory of Modeling and Simulation, Spring Simulation Conference, The Society for Modeling and Simulation International, 2013.
• [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel, Behavioural Analysis for Distributed Simulations, in Proc. of the 19th Asia-Pacific Software Engineering Conference, p. 482-487, IEEE, 2012.
• Romain Kervarc, Sylvain Bertrand, Stéphanie Prudhomme, André Elie, Patrice Carle, & Thérèse Donath. A functional approach to the assessment of debris effect on spatial systems, in Proc. of the 12^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2012.
• [link] Patrice Carle, Christine Choppy, Romain Kervarc, and Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems. In Proc. of the 18th International Symposium on Formal Methods - Doctoral Symposium, 2012.
• [link] Patrice Carle, Christine Choppy, & Romain Kervarc. Detecting behaviours within HLA distributed simulations with added analysis components, in Proc. of the IEEE Aerospace Conference, IEEE, 2012.
• [link] Sylvain Bertrand, Stéphanie Prudhomme, Sébastien Merit, Catherine Jolly, Romain Kervarc, & Thérèse Donath. Space system vulnerability assessment to space debris: a methodology and a program, in Proc. of the IEEE Aerospace Conference, IEEE, 2012.
• [link] Patrice Carle, Christine Choppy, & Romain Kervarc. Behaviour recognition using chronicles, in Proc. of the 5th International Symposium on Theoretical Aspects of Software Engineering, p. 100-107, IEEE, 2011.
• Romain Kervarc, Sylvain Bertrand, & Stéphanie Prudhomme. Evaluation of space mission vulnerability to space debris, in Proc. of the 11^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2011.
• Romain Kervarc, Patrice Carle, & Christine Choppy. Chronicles: a temporal logic framework for the study of large simulations, in Proc. of the 10^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2010.
• Romain Kervarc, Cédric Louyot, Sébastien Merit, Thomas Dubot, Sylvain Bertrand, & Jean Bourrely. Performance evaluation based on temporal logic, in Proc. of the 9^th IMACS/ISGG Meeting on Applied Scientific
  
  Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2009.
• Romain Kervarc, Gyslain Hervieux, Jean Bourrely, & Patrice Carle. Geometrical adaptations for the use of numerical simulation in a modular air traffic simulation platform, in Proc. of the 11th ISGG Numerical Grid Conference, International Society of Grid Generation, 2009.
• Romain Kervarc, André Elie, Nicolas Huynh, & P. Carle. Simulation of environmental impacts of air traffic using a modular distributed simulation platform, in Proc. of the 8^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2008.
• Romain Kervarc, André Elie, Thomas Dubot, & Jean Bourrely. IESTA: a modular distributed simulation platform for the evaluation of air transport systems, in Proc. of the 8^th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2008.
• Jean Bourrely, Romain Kervarc, & Claire Quillien, Performance evaluation for complex Systems, in Proc. of the 7^h IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2007.
• Romain Kervarc & Pierre Lescanne. Pure type systems, cut, and explicit substitutions, in Proc. of the 2^nd International Workshop on Higher-Order Rewriting, Federated Conference on Rewriting, Deduction and Programming, 2004.

Invited lectures at conferences

• Romain Kervarc. Logical descriptions for behaviour analysis in aerospace systems, Final MALOA Conference, 2013.
• Romain Kervarc, Sylvain Bertrand, Thibault Lang, Catherine Jolly, Thérèse Donath, & Jean Bourrely, Assessing the impact of orbital debris on a spatial system, Symposium on Numerical methods and advanced technologies for applied scientific computing of the joint SIMAI / SEMA Conference on Applied and Industrial Mathematics, 2010.

Dissertations

• PhD Thesis: Systèmes de types purs et substitutions explicites, 2007.

Various Publications

Other journals

• [link] Jérôme Morio, Hélène Piet-Lahanier, Fabrice Poirion, Julien Marzat, C. Seren, Sylvain Bertrand, Quentin Brucy, Romain Kervarc, Sébastien Merit, Pierre Ducourtieux, Rudy Pastel. An Overview of probabilistic performance analysis methods for large scale and time-dependent systems, in Aerospace Lab Journal (4), 2012.
• [link] Patrice Carle, Romain Kervarc, Raphaël Cuisinier, Nicolas Huynh, Judicaël Bedouet, Thomas Rivière, & Éric Noulard. Simulation of systems of systems, in Aerospace Lab Journal (4), 2012.

Other conferences

• Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Behaviour recognition for complex systems, in Proc. of the 24^es Journées Francophones des Langages Applicatifs, 2013.
• Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems, in Proc. of the Doctoral Symposium of the 18th International Symposium on Formal Methods, 2012.
• Sylvain Bertrand, Thérèse Donath, Romain Kervarc, Arnaud Lancien, Cédric Louyot, Sébastien Merit, Alain Piernas, & Stéphanie Prudhomme. Probabilistic performance evaluation of Tactical Balistic Missile Defence architectures, in Proc. of the 6th International Conference on Missile Defence, 2010.
• Judicaël Bedouet, Thomas Dubot, André Elie, & Romain Kervarc. IESTA: evaluating air transport systems using a rich, modular, generic, managed platform, in Proc. of the 9^th ONERA/DLR Aerospace Symposium (ODAS),  2008.
• Romain Kervarc. Explicit substitution for the λ-cube. Communication at the 2^nd workshop on Coq and Rewriting, 2004.

Seminars

• Romain Kervarc, Reconnaissance d’activité et systèmes aérospatiaux, séminaire Complexité Logique et Informatique, Université Paris VII, 3 avril 2012.
• Romain Kervarc, Systèmes complexes et industrie aérospatiale, séminaire de l'Institut des systèmes complexes de Lyon, 18 juin 2008.

Posters

• Patrice Carle, Christine Choppy, Romain Kervarc, Claude Le Tallec, & Ariane Piel. Pilot's Information Understanding for Traffic Situation Awareness and Avoidance Manoeuvre Decision. Poster in 5th Unmanned Aircraft Systems (UAS) EU Workshop, 2012.

Vulgarisation

• [link] Romain Kervarc. Satellites et Drones : comment garder la main sur la machine ? Maths Club, Institut de Recherches sur l'Enseignement des Mathématiques de Paris VII, 2 avril 2012.

Former Students

PhD students

I have in the past cosupervised the following PhD students:

• Romain Rincé (currently cofounder and consultant at MΛ, a startup advising businesses on AI and datascience): Behaviour recognition on noisy data-streams constrained by complex prior knowledge, Ph.D. defended in 2018, cosupervised with Pr. Philippe Leray.
• Ariane Piel (currently research fellow at CEA LIST) : Reconnaissance de comportements complexes par traitement en ligne de flux d'événements, Ph.D. defended in 2014, cosupervised with Pr. Christine Choppy.

and participated to the supervision of the following PhD students:

• Lynda Ait Oubelli (currently researcher at Université de Nantes): Transformations sémantiques pour l'évolution des modèles de données, supervised by Judicaël Bedouet and Pr Yamine Aït Ameur.
• Olivier Bertrand (currently engineer at DGA-CATOD) : Détection d’activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA, Ph.D. defended in 2009, supervised by Dr. Patrice Carle and Pr. Christine Choppy.

Interns

I have in the past supervised the students during their internships:

• Philippe King (2021, Master 2 research dissertation) : model checking avec modèle de vent pour drones
• Ariane Piel (2011, Master 2 research dissertation) : analyse comportementale pour simulations distribuées
• Cyrille Rolland (2009, engineer internship) : simulateur de politiques de données pour la connaissance de la situation spatiale
• Yohan Rousset (2009, engineer internship) in collaboration with Rija-Harris Ratsimba-Rajohn : réalisation d’une API de création de fichier KML permettant la visualisation de simulations aériennes
• Ludovic Van Egroo (2008, internship) in collaboration with Claude Le Tallec : modélisation de règlementation pour l'insertion des drones dans l'espace aérien
• Sylvain De Buyser (2008, engineer internship) in collaboration with Claire Quillien : réalisation d'une IHM pour un outil d'évaluation de performance stochastique de système

,

Teaching

Current courses

I teach at the University Sorbonne Paris Nord, École Supérieure d'Informatique, d'Électronique et d'Automatique, and École polytechnique.

• since 2009, University Sorbonne Paris Nord - Institut Galilée: Programming in C++ (engineer cursus)
• since 2015, ÉSIÉA: Algorithmics, Calculability, and Complexity (engineer cursus)
• since 2023, École polytechnique: OO programming

I also sometimes supervise programming projects at the University Sorbonne Paris Nord.

Invited lectures

I have been in the past invited to give the following series of lectures:

• [notes] Series of four lectures in temporal logic and applications at University of Leeds within the 2^nd training workshop of ITN MALOA in 2011
• Series of three lectures on formal method for aerospace systems at the University of L'Aquila in 2010

Former courses

I used to teach at École normale supérieure of Lyon and at the University of Lyon I.

Up to now, in addition to my current teaching, I have taught the following classes:

• 2011-2015, ÉSIÉA: Formal logic and logical programming (engineer cursus)
• 2010-2012, University of Paris XIII - Institut Galilée: advanced design (3^rd year engineer cursus)
• 2005-2006, ÉNS Lyon: semantics of programming languages (master 1)
• 2004-2006, University of Lyon I programming in C/C++ (licence 3)
• 2004-2005, ÉNS Lyon : rewriting (master 1)
• 2004-2005, University of Lyon I: compilation (master 2)
• 2004-2005, ÉNS Lyon: foreign student tutoring (master 1)
• 2003-2004, ÉNS Lyon: logic (licence 3) together with Sylvie Boldo