 |
Dang
Thao |
|
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
Cours SLE 3A ENSIMAG
(INPG) : SYSTEMES
TEMPS-REEL, MODELISATION REALISTE ET IMPLANTATION, 2009-2010
Older
Supervised PhD students
- Tarik Nahhal,
PhD thesis title: Model-Based
Testing of Hybrid Systems, defended in October 2007.
- Alexandre Donze,
PhD thesis title: Trajectory-based
Verification and Controller Synthesis for Continuous and Hybrid Systems
(co-advisor with Oded Maler), defended in June 2007
Some presentations (slides)
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
- ANR SETIN project : VAL-AMS High
confidence of Validation of Analog and Mixed-Signal Circuits
(Coordinator, started in 1 Jan 2007)
- ATIPS project (STIC) Test of Hybrid Systems, 2005 - 2006
- 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.
Conferences Member of Program Committees
- NSV-II
Second International Workshop on Numerical Software Verification.
Verification of Cyber-Physical Software Systems, April 2009, San
Francisco
- SAC 2006, ACM
Symposium on Applied Computing, April 23 - 27, 2006, Dijon, France
- Hybrid Systems: Control
and
Computation, HSCC'06, Santa Barbara, USA. March 29 -31, 2006.
- Workshop on Formal Verification of Analog Circuits FAC
(satelite event of ETAPS 2005). April 9th, 2005, Edinburgh, UK
- SAC 2005, 20th
ACM
Symposium on Applied Computing, March 13-17, 2005, Santa Fe, New
Mexico, USA
- Hybrid Systems: Control and Computation, HSCC'04,
Philadelphia, March 25-27, 2004.
- Ecole Jeunes Chercheurs en Algorithmique et Calcul Formel
(School for junior researchers in Algorithmics and Computation) EJCACF'04,
Grenoble.
Collaboration
Personal
