I am a research associate at the University of Liverpool working with Prof. Michael Fisher. Currently I am involved in the Verifiable Autonomy project. I am also a member of the Logic and Computation research group.
I received a Ph.D. in Computer Science from Abo Akademi University, Finland in September 2013. My research focus was on formal specification and verification of networked systems, using theorem prover and model checker.
We organized an Agent Verification Workshop on 11th September 2015.