I am interested in the verification of infinite-state systems, focussing on higher-order and counter-based automata models, with a view towards producing practical tools from theoretical results with a handling of concurrent systems.
An incomplete list of topics appears below.
I am always on the lookout for students keen on theory and the implementation of theory related to program analysis. If you would like to investigate studying for a PhD. at Royal Holloway, the following opportunities are available. Please contact me directly if you are interested.
I am on the PC of the following conferences/workshops. Please consider a submission!
I have organised the following conferences/workshops.
I have served on the PC of the following workshops/conferences.
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.
Someday perhaps everything will come to be showing something and that will be then a happy ending to all this beginning...
What? You said I could be Zsazsa Gabor in th' Queen of Outer Space!