(and my young IEEE photo)
Dang Thao


Research Director (Directeur de Recherche) at 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@univ-grenoble-alpes.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

Project CyPhAI November 2020 - November 2025, Formal design methods for AI-intensive Cyber-Physical Systems, Franco-Japanese ANR-JST CREST in the joint Call Mathematical Information Platform


Conferences
PC members of EMSOFT 2021, MRS 2021, HSCC 2021, ADHS 2021, EMSOFT 2020, MEMOCODE 2020, FMICS 2020, CIBCB 2020, HSCC 2020, HSB 2020, CIBCB 2019, CMSB 2019, HSCC 2018, EMSOFT 2018, FORMATS 2018, RTSS 2018, HSCC 2017, RTAS 2017

Journals


Short CV

Publication


PhD students


Teaching/Enseignement

Course  Feedback Control and Real-time Systems, Master of Sciences in Informatics (MOSIG) Université Grenoble Alpes , since 2018, 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 projects and 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