News
- Mobility Stipends in ICT open
July 2, 2010 | 1:43 pmCall for applications to 5 mobility stipends in ICT by Aug 12, 2010.
- Honorary Doctorate
January 25, 2010 | 1:31 pmProf. Alberto Sangiovanni-Vincentelli becomes Honoris Causa Jan 29, 10.00.
- PhD School
January 21, 2010 | 12:14 pmSign up for the upcoming PhD School on Quantitative Model Checking, March 2-5, 2010.
-
Archive for News »
- Mobility Stipends in ICT open
Welcome
Affiliation and Research
My research interests include modeling, verification, performance analysis of real-time and embedded systems with applications to concurrency theory and model checking. In particular I am prime investigator of the real-time verification UPPAAL as well as the various new branches of the tool targeted towards optimization, testing, synthesis and compositional analysis .
Currently I am investing substantial effort in a number of European projects: Quasimodo, Multiform, Gasics, RECOMP and ARTIST Design NoE (a network for real-time and embedded systems, project). Due to several reqeusts I have finally made my PhD Thesis from Edinburgh University available online here.