Dang Thao

Main research interests: Cyber-physical/Embedded systems, Systems Biology, Hybrid systems, Formal verification, Control synthesis, and other topics such as computational geometry and >umerical analysis.

Publication

• Associate Editor of Journal of Discrete Event Dynamic Systems JDEDS, Springer
• Associate Editor of Journal Nonlinear Analysis: Hybrid Systems NAHS, Elsevier

• CNRS Research Director DR2 (directeur de recherche au CNRS) in 2014, promoted to CNRS Research Director DR1 (first class) in 2020. PhD in 2000 from INPG. Diplôme d'Ingénieur and M.Sc. in Electrical Engineering (Ecole Nationale Supérieure d'Ingénieurs Electriciens ENSIEG)
• Previous employment: Postdoctoral research associate, Computer& Information Dept, University of Pennsylvania, USA, 2001.

PhD students

• Mohamed Ajami, started in Oct 2023, Control of Anesthesia, co-advised with Mirko Fiacchini (GiPSA Lab, Grenoble)i
• Ana-Maria Gomez Ruiz, started in Oct 2022, STL-based Reinforcement Learning, co-advised with Alexandre Donze (Decyphir)
• Bob Aubouin Pairault, started in Oct 2021, Data-based Anesthesia Monitoring, co-advised with Mirko Fiacchini (GiPSA Lab, Grenoble)
• Hadi Dayekh, started in Sept 2021, Learning for Modelling and Synthesis of AI-CPS, co-advised with Nicolas Basset (VERIMAG, UGA)
• Thomas Mari, started in October 2019, Explanable Cyber-Physical Systems, co-advised with Gregor Goessler (INRIA Grenoble)
• Akshay Mambakam, started in October 2019, Learning Termporal Specifications, co-advised with Nicolas Basset (VERIMAG, UGA)
• Arvind Adimoolam, defended in June 2018, A Calculus of Complex Zonotopes for Computing Invariants of Affine Hybrid Systems, now postdoc at Cornell University
• Alexandre Rocca, defended in May 2018, Formal methods for modelling and validation of biological models. Joint supervision with Eric Fanchon (TIMC-IMAG Laboratory, Techniques for biomedical engineering and complexity management - informatics, mathematics and applications, Grenoble), now postdoc at INRIA Grenoble
• Mohammad Al Khatib, Reachability Analysis of hybrid systems for verification and synthesis of cyber-physical systems, defended in September 2017, joint supervision with Antoine Girard (Laboratory Jean Kutzmann), now postdoc at TU Munich
• Tommaso Dreossi, Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems, defended in January 2017, joint supervision with Carla Piazza from University of Udine (Italy), now postdoc at UC Berkeley.
  
• Romain Testylier, PhD thesis title:  Reachability Analysis of Non-linear Dynamical Systems, defended in December 2012. Now at AnatoScope
  
• Tarik Nahhal, PhD thesis title:  Model-Based Testing of Hybrid Systems, defended in October 2007. Now professor at University of Casablanca.
  
• Alexandre Donzé, PhD thesis title:  Trajectory-based Verification and Controller Synthesis for Continuous and Hybrid Systems (co-advisor with Oded Maler), defended in June 2007. Now CE0 of Decyphir (Grenoble)
  

Teaching/Enseignement

Tools

Research projects and funds

• Coordinator of CyPhAI Nov 2020 - Nov 2025 (Formal design methods for AI-intensive Cyber-Physical Systems), Franco-Japanese ANR-JST CREST project in the joint Call Mathematical Information Platform
• Co-PI of 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
• European Project FOCETA Oct 2020 - Oct 2023, Foundations for Continuous Engineering of Trustworthy Autonomy
• Project SYMER (Metabolic and Epigenetic Regulation) Cross Disciplinary Program (CDP), IDEX, with IAB (Institute for Advanced Biosciences, Grenoble), EMBL Grenoble (European Molecular Biology Laboratory), CIBEST (Chimie Interface Biologie pour l'Environnement, la Santé et la Toxicologie), LBFA (Laboratoire de bioénergétique fondamentale et appliquée), CHU Grenoble (Centres Hospitaliers Universitaires), TIMC Lab, LiPhy (Laboratoire Interdisciplinaire de Physique Grenoble, PACTE (laboratoire de sciences sociales).
• Project MoDyLAM (Dynamic modeling of iron-linked redox perturbations in Acute Myeloid Leukemia), Program Plan Cancer 2014-2019, INSERM, with TIMC-IMAG, CEA/BIG, CHU
• Coordinator of PRC-Inde Project FOREVAS with IIT Kanpur (Indian Intritute of Technology), 2017-2020
• Coordinator of Industrial Funding from Toyota TEMA (USA), Model-Based Design of Embedded Systems, since 2013 - ongoing
• Coordinator of ANR-INS Project MALTHY - Algebraic Methods for Timed and Hybrid Systems, 2015 - 2018 (other partners: CEA-LIST, INRIA Rennes, MAX-PLUS INRIA, Object Direct)
• Coordinator of Industrial Funding from Bosch (Germany), Testing of Embedded Systems, 2015-2016
• Local Coordinator of ANR-BLANC Project COMPACS - COmputer Aware Control Systems, 2014 - 2017 (partners: Laboratoire LJK, CRAN Nancy)
• Coordinator of Industrial Funding from United Technologies Corp. (Ireland), Validation of CPS, 2014 - 2015
• Co-coordinator of Persylval Exploratory Project Set Theory and Algorithms for Dynamical Systems, 2014 - 2015 (other partners: GIPSA, LJK)
• Coordinator of AGIR fund (2013-2016) Contract-based Design of Cyber-Physical Systems
• Local coordinator of ANR project : VEDECY Verification of Cyber-Physical Systems, 2009-2011
• Coordinator of ANR SETIN project : VAL-AMS High confidence of Validation of Analog and Mixed-Signal Circuits, 2007-2009
  
• Coordinator of ATIPS project (STIC) Testing of Hybrid Systems, 2005 - 2006
  
• Participation in European IST project Prosyd - Property-based System Design, European IST project CC - Control and Computation, Cortos: Control and Observation of Real-Time Open Systems, ACI Sécurité Informatique.

Translation