I completed my DPhil studying formal software verification under the supervision of Prof. Luke Ong and was a student a St. John's College. I was employed as a research assistant at the Oxford University, Department of Computing until 2011. Then i moved to Paris and was employed at IGM, Université Paris-Est under the supervision of Dr. Arnaud Carayol. Finally, in 2013, i arrived at Royal Holloway as a lecturer in computer science. I completed my thesis in 2009 on Saturation Methods for Global Model-Checking Pushdown Systems. This contains results for reachability/model-checking over higher-order pushdown systems and parity games for order-1 pushdown systems. As an undergraduate I studied an MEng in Computing at Imperial College London and my masters project supervisor was Prof. Philippa Gardner. my key interests were logics, and my final year project was an implementation of a decision procedure for the Static Ambient Logic and a related translation between Separation Logic and First Order Logic.