Dang Thao



News

Conference HSCC 2012 Hybrid Systems: Computation and Control - Submission deadline Oct 14 (Program co-chair with Ian Mitchell from Univ of British Columbia, Canada).

Internship offer (Proposition de stage): Reachability computation for polynomial systems using the Bernstein expansion (Calcul d'atteignabilité de systemes dynamiques polynomiaux en utilisant l'expansion de Bernstein) (description)
Postdoc offer, at Verimag (description).



Position
(since Sept 2001): Permanent research scientist of the CNRS (French National Center for Scientific Research), member of Verimag
Address: 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.

Background

Previous employment: Postdoctoral research associate, Computer& Information Dept, University of Pennsylvania, USA, 2001.


Teaching/Enseignement

Cours  SLE 3A ENSIMAG (INPG): SYSTEMES TEMPS-REEL, MODELISATION REALISTE ET IMPLANTATION, 2011-2012
Cours  SLE 2A ENSIMAG (INPG): Implantation de systèmes de contrôle

Previous years


Supervised PhD students


Publications


Research funds

Member of Conference Program Committees

Collaboration



Personal