My research interests, in order of increasing specificity, are:
- formal methods for modelling, verification, and performance analysis of distributed systems;
- theory, implementation, and applications of probabilistic model checking, model checking, and runtime monitoring techniques;
- probabilistic model checking for ubiquitous computing;
- Quality of Service properties of wireless sensor networks and communication protocols;
- policy optimisation for power management of partially observable systems.
From January 2005 to September 2007, I was a PhD Student and Teaching Assistant in the School of Computer Science of the University of Birmingham. From October to December 2006, I was a Visiting Researcher in the Formal Methods program of National ICT Australia in Sydney and worked with Annabelle McIver and Ansgar Fehnker on the PEWNA project.
Between 1999 and 2005, I studied Computer Science with minor subject Mathematics at the Department of Computer Science of TU Dresden and obtained a Bachelor and a Diploma degree in 2002 and 2005 respectively. From September 2002 to June 2003, I visited the University of Birmingham under the ERASMUS programme and studied Computer Science and Mathematics.
