Dang Thao


Research Director (Directeur de Recherche DR2) of the CNRS (French National Center for Scientific Research)


Contact information: Office 205, Verimag, Batiment IMAG, Universite Grenoble Alpes, 700 avenue centrale, 38400 Saint Martin d'Heres, France
Tel: +33 4 57 42 22 12; Fax: +33 4 57 42 22 22; thao.dang@imag.fr

Main research interests: Hybrid/Embedded Systems, Automated design, Formal verification, Control synthesis, and other topics such as computational geometry and numerical analysis.


News

Conferences
PC members of EMSOFT 2018, FORMATS 2018, RTSS 2018, HSCC 2017, RTAS 2017



Short CV Previous employment: Postdoctoral research associate, Computer& Information Dept, University of Pennsylvania, USA, 2001.

Publication list


PhD students


Teaching/Enseignement

Cours  SLE 3A ENSIMAG (INPG): SYSTEMES TEMPS-REEL, MODELISATION REALISTE ET IMPLANTATION, 2016-2017
Cours  SLE 2A ENSIMAG (INPG): Implantation de systèmes de contrôle 2015-2016

Previous years


Tools

NLToolBox - Library of reachabilility algorithms for nonlinear dynamical systems
HTG - Hybrid Systems Test Generation Tool


Research funds


Translation