Romain Kervarc Email & Phone Number

Paris, Fr

Palaiseau, Île-De-France, France

Greater Paris Metropolitan Region

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.

Paris Area, France

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.

Lyon Area, France

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.

Lyon Area, France

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.

Munich Area, Germany

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

Doctor Of Philosophy (Ph.D.), Computer Science (Formal Logic), Summa Cum Laude ("Mention Très Honorable" - Best Grade Awarded By Éns Lyon)

Activities and Societies: Representative of the students at the Scientific Board of ÉNS Lyon & student member of the Commission.

Master'S Degree, Computer Science, Magna Cum Laude

Activities and Societies: Choir, orchestra, chamber music, brass band. Bridge club. Badminton.

Maîtrise (1St Year Of M.Sc.), Erasmus European Exchange Programme, Computer Science, Summa Cum Laude

Activities and Societies: KHG. Choir (AGV zu München & Gaudete-Chor). Bridge club. Ski, montain walking, fencing.

Bachelor'S Degree, Computer Science, Mathematics, Magna Cum Laude

Activities and Societies: Choir, chamber music. Bridge. Badminton. Funding member of the Society for greek and latin culture and studies.

Classes Préparatoires, Mathematics, Physics, Computer Science, Math Sup - Spé

French training classes for the competitive entrance exams to the "Grandes Écoles" (French elite schools).

High School, General With Science Major, Summa Cum Laude

French national exam for high school completion

Education record