Romain Soulat

Romain Soulat

Ingénieur Recherche Méthodes formelles, Thales

Développe son réseau professionnel
 

En poste chez Thales

 

Précédents : Ecole Normale Supérieure, Université Paris XI Paris Sud, Université Paris 11 Paris Sud

Parcours

 

Ingénieur Recherche Méthodes Formelles

Chez Thales

De janvier 2014 à aujourd'hui
 

Ecole Normale Supérieure, Cachan

Doctorat, Méthodes formelles

De octobre 2010 à décembre 2013
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 ...
Lire la suite
 

Université Paris XI Paris Sud, Orsay

Master, Mathématiques et Informatique

De septembre 2009 à août 2010
Master Degree Mathematics and Computer Science 6-month research internship at LSV, ENS Cachan
 

Université Paris 11 Paris Sud, Orsay

Maitrise, Mathématiques Fondamentales et Appliquées (MFA)

De septembre 2008 à juin 2009
First year of Master degree in Pure and Applied Mathematics
 

Université Paris 11 Paris Sud, Orsay

Licence, Licence de Mathématiques Fondamentales et Appliquées (MFA)

De septembre 2007 à juin 2008
Bachelor Degree in Pure and Applied Mathematics

Compétences

 
  • Control Theory
  • Embedded Systems
  • Formal Methods
  • Formal Verification
  • Model Checking

Langues parlées

 

Centres d'intérêt

 
  • Cinema
  • Cuisine
  • Golf
  • Voyages