 |
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
Previous years
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
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 project : VEDECY
Verification of Cyber-Physical Systems
(Local coordinator, started in October 2009)
- 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.
Member of Conference Program
Committees
- FORMAT 2010, the 8th
International Conference on Formal Modelling and Analysis of Timed
Systems, Vienna, Austria, September 8-10, 2010
- 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
