I mainly pursue research in probabilistic verification. More broadly, I study systems that have some stochastic behaviour and/or involve decision making. I develop methods for formally proving properties of such systems, measuring their performance, or assessing their reliability. The systems I study are usually described as Markov chains, Markov decision processes, or their extensions.
I am an Associate Professor in Computer Science (Software Engineering). I am also affiliated with Institute for Theoretical Computer Science at my alma mater.
Prospective students and postdocs
I do not currently have any funding available for postdocs or PhD students, but I am happy to assist excellent applicants in applying for external funding. Please send me your full CV with a short outline of a proposed project.
I am interested in consultancies and in acting as an expert witness within my area of expertise. Please contact me with your queries.