Research Engineer, Telecom-ParisTech

Assistant Professor, Telecom-ParisTech

Professor, CEA INSTN

Researcher, CEA INSTN

Researcher, CEA INSTN

Mathieu Jan received his engineer and master diplomas in 2003 and his Ph.D in 2006 from the University of Rennes, France, on the subject of data management over grid architectures. He then made a joined postdoc between the Technical University of Delft and INRIA Saclay and is an engineer-researcher at CEA LIST (the French DoE) since 2007, senior expert since 2015. His research interests now include real-time scheduling (hard and mixed-criticality), real-time networked systems and execution models for real-time systems. He (co-)authored 5 articles in international journals, 13 articles in international conferences, 8 articles in international workshops and 3 patents. One of his paper got an Outstanding Paper Award at RTNS 2013 conference and he was co-general chair of RTNS 2014.

Assistant Professor, HDR, Paris Sud University

Professor, Supelec

Professor, Telecom-ParisTech

Professor, Ecole Polytechnique

Former student of Ecole Normale Supérieure, Daniel Krob got a Ph.D. (1988) and an Habilitation (1991) in Computer Science from University Paris 7. He is presently Institute Professor at Ecole Polytechnique. He was head of the Dassault Aviation - DCNS - DGA - Thales - Ecole Polytechnique - ENSTA ParisTech - Telecom ParisTech Chair "Engineering of Complex Systems" from 2003 to 2014. Daniel Krob worked in algebraic & enumerative combinatorics, algorithms for mobile telecommunications and finite automata & formal languages, before specializing nowadays in systems architecture, systems engineering and systems modeling.
He is the author of more than 100 scientific papers, 4 books and holds 4 patents. Daniel Krob founded and directed the "Laboratoire d’Informatique Algorithmique: Fondements et Applications" ( LIAFA) of University Paris 7 during 6 years. He was also head, during several years, of the steering committees of two major international conferences in combinatorics & theoretical computer science (FPSAC & STACS). Daniel Krob was chairman of the evaluation commitees of the "Information Management & Modelling" departement of the French Aerospace lab (ONERA) and of the "Architecture & Evaluation of Systems of Systems" group of the technical expertise department of the French ministry of defense (DGA). At international level, he is also one of the 15 founding members of the Omega-Alpha honour association in Systems Engineering and one of the 70 INCOSE Fellows, the highest recognition in Systems Engineering in the world.

Researcher, CEA

Nikolai Kosmatov is researcher at CEA LIST. His research interests include software testing, constraint solving and combinations of various software verification techniques.
Nikolai gave several theoretical courses and exercise sessions on software testing and proof of programs in 2009-2015 and co-organized several successful tutorials on testing and proof of programs at several international events (TAP 2012, TAROT 2012, ASE 2012, QSIC 2012, TAP 2013, iFM 2013, SAC 2013, RV 2013, TAP 2014). He is the main author of the online testing service pathcrawler-online.com.