Maximilien Colange
Senior Research And Development Engineer at Epigene Labs- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
Français Native or bilingual proficiency
-
Anglais Full professional proficiency
-
Japonais Elementary proficiency
Topline Score
Bio
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.
-
-
-
-
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
-
-
Education
-
Université Pierre et Marie Curie (Paris VI)
Doctor of Philosophy (Ph.D.), Informatique -
École Normale Supérieure Paris-Saclay
M.Sc., Computer Science