Alexandre Donzé's Research Page
Short bio: I am currently a post-doctoral faculty at the department
of Electrical Engineering and Computer Science of UC Berkeley, working
under the supervision of Sanjit Seshia. Until February 2012, I was working at Verimag in Grenoble, with Oded Maler. This is also where and with whom, in co-supervision with Thao Dang, I did my thesis in 2007.
From oct. 2007 to oct. 2008, I was a 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