Permanent research scientist of the CNRS (French National Center
for Scientific Research)
Member of Steering Committee of the Research Action SIM (Modeling and Simulating the physical world) of PERSYVAL (Excellence Laboratory)
Contact information: 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; firstname.lastname@example.org
Main research interests:
Hybrid/Embedded Systems, Automated design, Formal verification, Control
synthesis, and other topics such as computational geometry and
HSB Hybrid Systems and Biology HSB 2013, Sept 2013, Taormina (Italy), Program co-chair with
Carla Piazza (University of Udine).
Frontiers in Analog CAD, FAC 2013, Feb 14-15 2013, Berkeley (CA), Program co-chair with
Elad Alon (University of California, Berkeley, USA) and Chandramouli Kashyap (Intel Corporation, USA).
Conference HSCC 2012 Hybrid Systems: Computation and Control (Program co-chair with Ian Mitchell from Univ of British Columbia, Canada).
PhD and Master proposals
Funded PhD thesis proposal (Proposition de these doctorale): Safe contract-based design of cyber-physical systems (description)
PhD thesis proposal (Proposition de these doctorale): High-confidence design of cyber-physical systems (description)
Master project proposal (Proposition de Master): Reachability computation for polynomial systems using the Bernstein expansion (Calcul d'atteignabilité de systemes dynamiques polynomiaux en utilisant l'expansion de Bernstein) (description)
Previous employment: Postdoctoral research associate, Computer& Information Dept, University of Pennsylvania, USA, 2001.
- 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).
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
- AGIR 2013 project (2013-2016)
- 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
Control and Observation of Real-Time Open Systems, ACI
Member of Conference Program
- 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
Second International Workshop on Numerical Software Verification.
Verification of Cyber-Physical Software Systems, April 2009, San
- SAC 2006, ACM
Symposium on Applied Computing, April 23 - 27, 2006, Dijon, France
- Hybrid Systems: Control
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
Symposium on Applied Computing, March 13-17, 2005, Santa Fe, New
- 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,