About me

I obtained my PhD at University of Edinburgh in formal verification and automated reasoning. I am a post-doc researcher in the Systems Research Group at the University of St Andrews. My research interests are cloud computing, automated reasoning and program verification.

Useful Links: