I am currently the head of research team "Modelling and Engineering of Distributed systems and Software". I also coordinated the redaction of the scientific project of this team, which is focused on formal methods and their applications to real-size industrial problem.

I work as a full-time research fellow at ONERA, a French public research body focusing on aerospace research.At ONERA, I work within the Department for Information Processing and System, which performs research in informatics and automatics, and has a transversal role as a system expert, promoting the interactions and complementarity between the various fields of scientific and technical competence of the ONERA. Following an internal reorganisation of ONERA in 2017, I had the opportunity to coordinate a research unit proposal, focusing on formal methods and their application to real-size industrial systems.I am more specifically interested in System Conception, Modelling and Evaluation, and especially in Formal Methods, and their applications in various fields.

Head ad interim of research team TCS (techniques for system design and simulation) during the internal reorganisation of ONERA.

ÉNS Lyon is one of the few best French "Grandes Écoles" (elite college schools). Its speciality is scientific research, in all academic fields, and its research laboratories are among the very best in France.It was a very simulating environment, and my activity there as junior researcher had several aspects.As for research itself, my interest subjects were formal logic and type theory. I used to work at the LIP (laboratory for computer science and parallelism), and could participate to international conferences and also to scientific vulgarisation and communication activities.Moreover, I had some organisation duties: I was responsible for the seminar and the reading group of my research team, and I initiated a collaboration with the Chair for Analytic Philosophy and organised the common seminar that came out of this collaboration.

Teaching duty divided between ÉNS Lyon and Univ. Lyon I.At ÉNS Lyon, I taught the following courses: - Logic, lambda-calculus, and verification (3rd year of Bachelor's degree) - Rewriting (1st year of Master's degree) - Semantics of programming languages (1st year of Master's degree)and I did some tutoring for foreign students.

Teaching duty divided between ÉNS Lyon and Univ. Lyon I.At Univ. Lyon I, I taught the following courses: - Programming in C++ (2rd year of Bachelor's degree) - Compilation (2nd year of Master's degree)as well as some initiation to computers for first-year students.

I did an internship in the Theoretical Computer Science research unit of the Faculty for computer Science at the Ludwig-Maximilian University of Munich. My internship focused on type theory