Romain SOULAT

En résumé

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

• Abdallah ZERFAOUI

• Alain PICQ

  Aj Automation (Massy)

• Bruno LANDRE

• Emmanuel RENUT

• Etienne PRUN

• François LEULLIER

• Michel SILVA

• Patrick FERAL

• Samuel CANU