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: Cyber-physical/Embedded systems, Systems Biology, Hybrid systems, 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

Publication list


PhD students


Teaching/Enseignement

Course  Feedback Control and Real-time Systems, Master of Sciences in Informatics (MOSIG) Université Grenoble Alpes , 2018-2019, First Semester


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

I translated into Vietnamese
  • Phénomène Humain (The Phenomenon of Man) by Pierre Teilhard de Chardin
  • Le Hasard et la Nécessité (Chance and Necessity: Essay on the Natural Philosophy of Modern Biology) by Jacques Monod
  • Novel Laughter in the dark by Vladimir Nabokov
  • Some short stories by Alice Munro