Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > TUONG Frédéric
About LRI
Mr TUONG Frédéric

Warning: this member left the laboratory on 30/11/2019
 
Ingénieur de Recherche 2ème classe
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 67/PCRI-S

Personal web page : https://www.lri.fr/~ftuong/
Email : Frederic.Tuong@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Formal Model-Based Testing

Publications









Ph.D. dissertations & Faculty habilitations
Ph.D   - Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages