Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > TUONG Frédéric
Présentation
M. TUONG Frédéric
Post-doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 67/PCRI-S

Page personnelle :
Courrier électronique : Frederic.Tuong@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Test formel basé sur les modèles

Publications









Thèses et habilitations
Doctorat   - Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages