Menu

Romain SOULAT

Courbevoie

En résumé

Mes compétences :
Formal Verification
Embedded Systems
Formal Methods
Control Theory
Model Checking

Entreprises

  • Thales - Ingénieur Recherche Méthodes Formelles

    Courbevoie 2014 - maintenant

Formations

  • Ecole Normale Supérieure

    Cachan 2010 - 2013 Doctorat

    PhD. Student at ENS Cachan at the Laboratoire Specification et Verification.

    Publications (2 books, 1 journal, 14 conferences)
    Books:
    - Control of Switching Systems by Invariance Analysis: Application to Power Electronics. Wiley-ISTE.
    - The Inverse Method. Wiley-ISTE.

    Journals:
    - Finite Controlled Invariants for Sampled Switched Systems. Formal Methods in System Design.

    Conferences:
    htt
  • Université Paris XI Paris Sud

    Orsay 2009 - 2010 Master

    Master Degree Mathematics and Computer Science
    6-month research internship at LSV, ENS Cachan
  • Université Paris 11 Paris Sud

    Orsay 2008 - 2009 Maitrise

    First year of Master degree in Pure and Applied Mathematics
  • Université Paris 11 Paris Sud

    Orsay 2007 - 2008 Licence

    Bachelor Degree in Pure and Applied Mathematics

Réseau