Accueil

Nicolas Vallée

Anciennement doctorant en Informatique à l'UEI de l'ENSTA Paristech, j'ai soutenu avec succès le 12 Juillet 2011.
Actuellement en recherche d'emploi. Consultez mon CV

Domaine de recherche

Mon domaine de recherche est l'analyse statique de systemes complexes, mélangeant aspects matériels et logiciels. Mes recherches s'intéressent essentiellement à l'interpretation abstraite de sémantiques de traces créées par exécution symbolique.

Au cours de la préparation de ma thèse, j'ai contribué à la conception d'un débogueur formel pour systèmes complexes. J'ai défini une sémantique d'un sous ensemble du langage de description matérielle SystemC. J'ai également formalisé une méthodologie d'analyse de propriétes fonctionnelles de systèmes décrits dans ce langage.