Home

I am Professor of Computer Science in the School of Computer Science at the University of Birmingham. Prior to that I was Assistant Professor at the Institute of Computer Science, at the Jagiellonian University in Krakow and Lecturer at the Department of Mathematics and Computer Science at the University of Leicester.

   

My main research interests are modelling and verification of probabilistic and real-time systems (theory and implementation); model checking and dependability analysis; semantics of concurrent and distributed systems; and modal and temporal logics. I have worked on modelling languages and process calculi, verification algorithms and software tools, see the PRISM tool, and applications of verification technology to real world case studies, ranging from Internet and mobile ad hoc network protocols, control software, embedded systems and ubiquitous computing devices, to biological organisms.

Research Groups:

	Model checking
	Probabilistic model checking
	Systems, Models and Simulation

[Home]  [Contact]  [Availability]  [Research]  [Teaching]  [Activities]  [Links]