Faculty

Program Coordinators

Eric Goubault : Professor, Ecole Polytechnique

Eric Goubault

Professor, Ecole Polytechnique

Eric co-coordinates the COMASIC Masters program.

Eric.Goubault@polytechnique.fr
Laurent Pautet : Professor, Telecom-ParisTech

Laurent Pautet

Professor, Telecom-ParisTech

Laurent co-coordinates the master M2 COMASIC

Laurent.Pautet@enst.fr
Alexandre Chapoutot : Assistant Professor, ENSTA ParisTech

Alexandre Chapoutot

Assistant Professor, ENSTA ParisTech

Alexandre co-coordinates the master M2 COMASIC

alexandre.chapoutot@ensta-paristech.fr

M2 Faculty

Eric Goubault : Professor, Ecole Polytechnique

Eric Goubault

Professor, Ecole Polytechnique

Eric co-coordinates the COMASIC Masters program.

Eric.Goubault@polytechnique.fr
Laurent Pautet : Professor, Telecom-ParisTech

Laurent Pautet

Professor, Telecom-ParisTech

Laurent co-coordinates the master M2 COMASIC

Laurent.Pautet@enst.fr
Alexandre Chapoutot : Assistant Professor, ENSTA ParisTech

Alexandre Chapoutot

Assistant Professor, ENSTA ParisTech

Alexandre co-coordinates the master M2 COMASIC

alexandre.chapoutot@ensta-paristech.fr
Isabelle Demeure : Professor, ParisTech

Isabelle Demeure

Professor, ParisTech

Sylvie Vignes : Assistant Professor, Telecom-ParisTech

Sylvie Vignes

Assistant Professor, Telecom-ParisTech

Sylvie.Vignes@telecom-paristech.fr
Ada Diaconescu : Assistant Professor, Telecom-ParisTech

Ada Diaconescu

Assistant Professor, Telecom-ParisTech

ada.diaconescu@telecom-paristech.fr
Yves Mathieu : Professor, Telecom-ParisTech

Yves Mathieu

Professor, Telecom-ParisTech

Thomas Robert : Assistant Professor, Telecom-ParisTech

Thomas Robert

Assistant Professor, Telecom-ParisTech

Jean Leneutre : Assistant Professor, Telecom-ParisTech

Jean Leneutre

Assistant Professor, Telecom-ParisTech

jean.leneutre@telecom-paristech.fr
Rémi Sharrock : Assistant Professor, Telecom-ParisTech

Rémi Sharrock

Assistant Professor, Telecom-ParisTech

remi.sharrock@telecom-paristech.fr
Alexis Polti : Research Engineer, Telecom-ParisTech

Alexis Polti

Research Engineer, Telecom-ParisTech

Guillaume Buc : Assistant Professor, Telecom-ParisTech

Guillaume Buc

Assistant Professor, Telecom-ParisTech

François Terrier : Professor, CEA INSTN

François Terrier

Professor, CEA INSTN

Florian Noyrit : Researcher, CEA INSTN

Florian Noyrit

Researcher, CEA INSTN

Mathieu Jan : Researcher, CEA INSTN

Mathieu Jan

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.

Fatiha Zaidi : Assistant Professor, Paris Sud University

Fatiha Zaidi

Assistant Professor, Paris Sud University

Cristina Stoica : Assistant Professor, SupElec

Cristina Stoica

Assistant Professor, SupElec

Cristina.Stoica@supelec.fr
Frédéric Boulanger : Professor, Centrale Supélec and LRI

Frédéric Boulanger

Professor, Centrale Supélec and LRI

Research: Multiparadigm modeling and Verification of the behavior of heterogeneous systems

Teaching: Algorithms, Modeling and Model Driven Engineering, Computer architecture, Formal semantics of languages and models

frederic.boulanger@centralesupelec.fr
Hughes Mounier : Professor, Paris Sud University

Hughes Mounier

Professor, Paris Sud University

Luca Greco : Assistant Professor, Paris Sud University

Luca Greco

Assistant Professor, Paris Sud University

Antoine Chaillet : Assistant Professor, HDR, Paris Sud University

Antoine Chaillet

Assistant Professor, HDR, Paris Sud University

Antoine Rauzy : Professor, Supelec

Antoine Rauzy

Professor, Supelec

Antoine.Rauzy@ecp.fr
Daniel Krob : Professor, Ecole Polytechnique

Daniel Krob

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.

daniel.krob@cesames.net
Nikolai Kosmatov : Researcher, CEA

Nikolai Kosmatov

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.

Nikolai.Kosmatov@cea.fr
Julien Signoles : Researcher, CEA

Julien Signoles

Researcher, CEA

Patricia Mouy : Researcher, CEA

Patricia Mouy

Researcher, CEA

Christophe Gaston : Researcher, CEA

Christophe Gaston

Researcher, CEA

Delphine Longuet : Assistant Professor, Paris Sud University

Delphine Longuet

Assistant Professor, Paris Sud University

delphine.longuet@lri.fr
Francesco Belardinelli : Assistant Professor, Evry University

Francesco Belardinelli

Assistant Professor, Evry University

belardinelli@ibisc.fr
Tarek Melliti : Assistant Professor, Evry University

Tarek Melliti

Assistant Professor, Evry University

tmelliti@ibisc.fr
Serenella Cerrito : Professor, Evry University

Serenella Cerrito

Professor, Evry University

Sylvie Delaët : Assistant Professor, Paris Sud University

Sylvie Delaët

Assistant Professor, Paris Sud University

ylvie.Delaet@lri.fr
Janna Burman : Assistant Professor, Paris Sud University

Janna Burman

Assistant Professor, Paris Sud University

Janna.Burman@lri.fr
Mauro Sozio : Professor, Telecom-ParisTech

Mauro Sozio

Professor, Telecom-ParisTech

Sozio@telecom-paristech.fr
David Vincent : KronoSafe

David Vincent

KronoSafe

Frédéric Thomas : KronoSafe

Frédéric Thomas

KronoSafe

Jean-Louis Dufour : Senior Expert, SAGEM

Jean-Louis Dufour

Senior Expert, SAGEM

Samuel Boutin : Director, Knowledge Inside

Samuel Boutin

Director, Knowledge Inside

Olivier Flous : Thalès

Olivier Flous

Thalès

Jean-Paul Figer : Consultant, ARMOSC

Jean-Paul Figer

Consultant, ARMOSC

Jean-Christophe Orhant : Thalès Université

Jean-Christophe Orhant

Thalès Université

Eric Thomas : Dassault Aviation

Eric Thomas

Dassault Aviation

M1 Faculty at Ecole Polytechnique

Eric Goubault : Professor, Ecole Polytechnique

Eric Goubault

Professor, Ecole Polytechnique

Eric co-coordinates the COMASIC Masters program.

Eric.Goubault@polytechnique.fr
Thomas Clausen :

Thomas Clausen

A graduate of Aalborg University, Denmark (M.Sc., PhD - civilingeniør, cand.polyt) Thomas has, since 2004, been on faculty at Ecole Polytechnique, where he leads the computer networking research group. He, currently, also coordinates the Cisco “Internet of Everything” academic chaire.

Thomas Clausen teaches the following in M1:Thomas Clausen teaches the following in M2:

thomas@thomasclausen.org
Yvan Bonnassieux : Professor

Yvan Bonnassieux

Professor

Yvan Bonnassieux is co-Director of the Technology Venture Master Program at Ecole Polytechnique and is responsable for the research team "Electronique Grandes Surfaces" at École Polytechnique.. He holds a Ph.D. from the École Normale Supérieure de Cachan.  His current research focuses on the conceptualization, elaboration, optimization, and modeling of "dispositives électroniques" on large surfaces, using organic or silicon technologies.

Yvan Bonnassieux teaches the following in M1:

yvan.bonnassieux@polytechnique.edu
Erwan Le Pennec : Professor

Erwan Le Pennec

Professor

Erwan Le Pennec is a professor at the Applied Math department of  École polytechnique since September 2013. He is the co-director of the SIMAPS team (Signal IMage numerical ProbAbilities Statistical Learning). HE is also the head of the "Data Scientist" chair of École polytechnique created in octobre 2014 by École polytechnique, Keyrus, Orange and Thales, and supported by Fondation de l'X. This chair is dedicated to the Data Sciences training programs.

Erwan Le Pennec teaches the following in M1:

Erwan.Le-Pennec@polytechnique.edu
Frederic Magniez :

Frederic Magniez

Frederic Magniez is a CNRS Senior Researcher at Université Paris Diderot. His research interests include quantum computing (algorithms, self-testing, cryptography) and sublinear algorithms (property testing, streaming algorithms).

magniez@cnrs.fr
Xavier Rival :

Xavier Rival

Xavier Rival teaches the following in M1:Xavier Rival teaches the following in M2:

Xavier.Rival@ens.fr
David Monniaux : Research Director, CNRS & Part-time professor, Ecole Polytechnique

David Monniaux

Research Director, CNRS & Part-time professor, Ecole Polytechnique

David Monniaux  works at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. The practical focus of his research is how to prove software correct. This is connected to computability theory, since software correctness, in general, is an undecidable problem, to complexity theory, since many verification problems have high complexity, to mathematical logic, and to fields as diverse as game theory, algebra, and convex optimization.

David Monniaux teaches the following in M1:

David.Monniaux@polytechnique.edu
Albert Cohen : Research Director, INRIA & part-time professor, Ecole Polytechnique

Albert Cohen

Research Director, INRIA & part-time professor, Ecole Polytechnique

M1 Faculty at Telecom-ParisTech

Laurent Pautet : Professor, Telecom-ParisTech

Laurent Pautet

Professor, Telecom-ParisTech

Laurent co-coordinates the master M2 COMASIC

Laurent.Pautet@enst.fr

M1 Faculty at ENSTA-ParisTech

Alexandre Chapoutot : Assistant Professor, ENSTA ParisTech

Alexandre Chapoutot

Assistant Professor, ENSTA ParisTech

Alexandre co-coordinates the master M2 COMASIC

alexandre.chapoutot@ensta-paristech.fr