Researcher in the Mosel Research Group – Loria
Scientific Leader of GDR CNRS GPL (Génie de la Programmation et du Logiciel)
Research
- Tom: integration of formal constructs into Java (GitHub page)
- Program, system, security policy analysis
- Term Rewriting
- Program Transformation
- Formedicis project (2017-2020)
- Head of Inria Pareo Research Group (2008 – 2014)
- Quarteft project (2009-2012)
Teaching
- Head of Computer Science Department and TechLab (2017 -)
- Head of Computer Science Department and TechLab (2009 – 2015)
- TCSS5AC – Introduction to Programming and Algorithms (since 2009)
- TCSS6AC – Introduction to Programming and Algorithms (since 2017)
- ISS7AB – Software Engineering – Software Development (since 2009)
- CES7AJ – Introduction to C/C++ (since 2015)
- Bootcamp (since 2009)
- Microcontroler (since 2012)
- Rewriting (since 2004)
Activities
- Scientific Leader of GDR GPL (since 2016)
- Member of GDR GPL board (since 2011)
- Member of the editorial board of Science of Computer Programming (since 2014)
- Membre de la section 27 du CNU (since 2015)
- Correcteur de l’épreuve « Informatique Pour Tous » du Concours Commun Mines-Ponts (since 2015)
Events
- WRLA 2018 (PC): 12th International Workshop on Rewriting Logic and its Applications
- GDR GPL 2018 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
- GDR GPL 2017 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
- GDR GPL 2016 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
- SLE 2016 (PC): 9th International Conference on Software Language Engineering
- WRLA 2016 (PC): 11th International Workshop on Rewriting Logic and its Applications
- EJCP 2015 (OC-chair) : École des Jeunes Chercheurs en Programmation
- Past Events
[PC: Program Committee member, OC: Organisation Committee member]
Publications
- Faithful (meta-)encodings of programmable strategies into term rewriting systems (pre-print, 54p, Logical Methods in Computer Science, 2017)
- A faithful encoding of programmable strategies into term rewriting systems (accepted at RTA 2015, hal)
- Bringing Strategic Rewriting into the Mainstream (submitted, hal)
- Effective Strategic Programming for Java Developers (Software: Practice and Experience 2012, 2014)
- Island grammar-based Parsing using GLL and Tom (SLE 2012, hal)
- Anti-Patterns For Rule-Based Languages (Journal of Symbolic Computation 2010)
- Habilitation à Diriger des Recherches
- DBLP HALtools Google Scholar
PhD committees
- Dan Zhang, Eindhoven, 2018
From Concurrent State Machines to Reliable Multi-threaded Java Code - Thi-Kim-Dung Pham, reviewer, Paris, 2017
Development of Correct-by-Construction Software using Product Lines - Vivien Pelletier, Orléans, 2017
Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité - Duy Duc Nguyen, president, Besançon, 2017
Modélisation d’une matrice de micro-mirroirs et contribution au développement d’un simulateur de matrices de micro-systèmes - Geoffrey Hetch, president, Lille, 2016
Détection et analyse de l’impact des défauts de code dans les applications mobiles - Luc André, president, Nancy, 2016
Préservation des intentions et maintien de la cohérence des données répliquées en temps réel - Past Committees