|
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
- Habilitation, Jan 2010.
- 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
Previous years
Supervised PhD students
- Romain Testylier,
since Oct 2009.
- Tarik Nahhal,
PhD thesis title: Model-Based
Testing of Hybrid Systems, defended in October 2007.
- Alexandre Donzé,
PhD thesis title: Trajectory-based
Verification and Controller Synthesis for Continuous and Hybrid Systems
(co-advisor with Oded Maler), defended in June 2007
Research funds
- ANR project : VEDECY
Verification of Cyber-Physical Systems
(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
- HSCC 2012,
International Conference on Hybrid Systems: Computation and Control, Beijing, Apr 17-19, 2012 (Program Co-Chair)
- HMSB 2012,
Hybrid Modeling in Systems Biology, November 2011, Atlanta, USA
- ICTAC 2012,
9th International Colloquium on Theoretical Aspects of Computing, September, 2012
- IEEE/IFIP EUC2011 ,
International Conferences on Embedded and Ubiquitous Computing,
- ICFEM 2011,
13th International Conference on Formal Engineering Methods, 24th-26th October 2011, Melbourne, Australia
- HSCC 2011,
International Conference on Hybrid Systems: Computation and Control, Chicago, 2011
- 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
- HSCC'04 Hybrid Systems: Control and Computation,
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
