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

Romain travaille chez

Thales
Thales500 - 999 employés

Thales est un leader mondial des hautes technologies pour les marchés de l’Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 62 000 collaborateurs dans 56 pays, Thales a réalisé en 2015 un chiffre d’affaires de 14 milliards...