Dang Thao


Research Director (Directeur de Recherche DR2) of the CNRS (French National Center for Scientific Research)
Member of Steering Committee of the Research Action SIM (Modeling and Simulating the physical world) of PERSYVAL (Excellence Laboratory)

Contact information: Office 3, Verimag, Centre Equation - 2, avenue de Vignate 38610 GIERES France
Tel: +33 4 56 52 03 83; Fax: +33 4 56 52 03 44; 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

PhD and Master proposals PhD thesis proposal (Proposition de these doctorale): Abstract Domains for Hybrid Systems Verification, starting in January 2014 (description)
Master project proposal (Proposition de Master): Reachability computation for polynomial systems using the Bernstein expansion (Calcul d'atteignabilité de systemes dynamiques polynomiaux en utilisant l'expansion de Bernstein) (description)

Conferences
HSB Hybrid Systems and Biology HSB 2013, Sept 2013, Taormina (Italy), Program co-chair with Carla Piazza (University of Udine).
Frontiers in Analog CAD, FAC 2013, Feb 14-15 2013, Berkeley (CA), Program co-chair with Elad Alon (University of California, Berkeley, USA) and Chandramouli Kashyap (Intel Corporation, USA).
Conference HSCC 2012 Hybrid Systems: Computation and Control (Program co-chair with Ian Mitchell from Univ of British Columbia, Canada).

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



Background 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, 2013-2014
Cours  SLE 2A ENSIMAG (INPG): Implantation de systèmes de contrôle 2013-2014

Previous years


Research funds

Member of Conference Program Committees (recent)

Others