Dang Thao



News:
I am going to defend my HDR (Habilitation) thesis on 29 January 2010, at 14:00, in Amphi F018, UFR IMA (in Domaine Universitaire in Saint-Martin d’Hères direction to UFR IMA, map)




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 PhD, 2000 (Verimag, INPG). Diplôme d'Ingénieur and M.Sc. in Electrical Engineering (Ecole Nationale Supérieure d'Ingénieurs Electriciens ENSIEG). Engineer Degree in Instrumentation (Hanoi National Polytechnic Institute).
Previous employment: Postdoctoral research associate, Computer & Information Dept, University of Pennsylvania, USA, 2001.


Teaching/Enseignement

2009 -2010
Cours  SLE 3A ENSIMAG (INPG) : SYSTEMES TEMPS-REEL, MODELISATION REALISTE ET IMPLANTATION, 2009-2010
Cours  SLE 2A ENSIMAG (INPG) : Implantation de systemes de controle

Previous years


Supervised PhD students


Publications



Software: d/dt, a Verification Tool for Continuous and Hybrid Systems (updated!, send me an email if you want to have a copy).


Research funds

 Member of Conference Program Committees

Collaboration



Personal