index
Alexandre Donzé's Research Page
##+HTML: <a href="research.html">Research</a> Publications Breach Toolbox Contact Teaching (in French)
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 worked in
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 look at my publications to get more details on my research.
Contact Information: in Plain Text can be found here.
News
I am in the Program committee of the following workshops and conferences:
- Hybrid Systems and Biology HSB'13
- MSR'13 (French colloque on Reactive Systems)
- FORMATS'13
Past