Experience

Epigene Labs

• France
• Biotechnology Research
• 1 - 100 Employee

• Senior Research And Development Engineer

  • Aug 2022 - Present

  Bridging the gap between biology, math and computer science. Powering data analysis for oncology research. Bridging the gap between biology, math and computer science. Powering data analysis for oncology research.



Clearsy Railway

• France
• IT Services and IT Consulting

• Engineer

  • Aug 2018 - Aug 2022

  Development of critical systems for the railway industry: architecture and design, specification, implementation, safety analysis. Development of formal verification tools for correct-by-construction system designs. Development of critical systems for the railway industry: architecture and design, specification, implementation, safety analysis. Development of formal verification tools for correct-by-construction system designs.



École pour l'Informatique et les Techniques Avancées

• France
• Higher Education
• 1 - 100 Employee

• Assistant Professor

  • Sep 2016 - Aug 2018

  My research focuses on logic and finite automata theory applied to formal verification, as well as game theory applied to the synthesis of correct-by-construction programs. My research focuses on logic and finite automata theory applied to formal verification, as well as game theory applied to the synthesis of correct-by-construction programs.



LSV, ENS Cachan

• Research Services

• Postdoctoral Researcher

  • Sep 2015 - Aug 2016

  Game theory applied to the formal verification of timed systems. Game theory applied to the formal verification of timed systems.



Université de Genève

• Switzerland
• Higher Education
• 1 - 100 Employee

• Postdoctoral Fellow

  • Nov 2013 - Aug 2015

  Data structures for efficient verification of critical cyber-physical systems. Data structures for efficient verification of critical cyber-physical systems.



Universty P.Curie UPMC-Paris6

• PhD Student

  • Sep 2010 - Dec 2013

  Symmetry-based reductions and symbolic data structures for distributed systems model checking Symmetry-based reductions and symbolic data structures for distributed systems model checking