(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

  • PhD Position Offer: Coverage Measures for Machine Learning Enabled Cyber-Physical Systems


  • Co-chair of the 22th Int Conference Runtime Verification RV'22, Computational Logic Aumtumn Summit CLAS, Tbilisi, Georgia, 28-30 September 2022


  • 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
  • Collaborative Project (Equipe d'action) DAMON Data-based Anesthesia Monitoring, Oct 2021 - Oct 2025, GIPSA-lab (Grenoble), Verimag (Grenoble), CHU Grenoble, LAAS (Toulouse), CHU Toulouse, University of Seville


  • Conferences
    PC members of RTSS 2022, MEMOCODE 2022, HSCC 2022, 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