Alexandre Donzé's Research Page
In Short: I am currently a post-doctoral faculty at the Verimag Laboratory in Grenoble, working under the supervision of Oded Maler. This is also where and with whom, in co-supervision with Thao Dang, I did my thesis.
From oct. 2007 to oct. 2008, I was a post-doctoral faculty at Carnegie Mellon University, working with Edmund M. Clarke and Bruce H. Krogh. In June 2009 I also started a collaboration with the TIMC laboratory, in particular with Eric Fanchon and Philippe Tracqui.
Research: The main goal of my research is to develop mathematical and computational tools for the analysis and the design of dynamical systems arising from different domains, in particular embedded systems (or software interacting with a physical environment), analog and mixed signal circuits and biological systems. You can follow this link to get a more detailed description.
For more details you can download a short curriculum vitae or browse in the pages of this website.
Contact Information: in Plain Text can be found here.
News (July 2011)
In the program committee of Hybrid Modeling in Systems Biology
Towards Systems Biology is over, slides of the speakers are available