My research interests are decidability questions in different computational models. Mostly focusing on decidability and complexity in various variants of linear dynamic systems, vector addition games, matrix problems and semi-Thue systems.
I'm also a lecturer at Jesus College teaching core first-year computer science courses.
Before starting this post-doc, I was working on algorithmic verification of string-manipulating programs with Prof. Anthony W. Lin. I did my PhD in Liverpool under supervision of Prof. Igor Potapov, Dr Vesa Halava, and Prof. Paul Spirakis.
|Office:||Wolfson Building, 366A|
|Phone:||+44 1865 610750|
|Postal address:||Department of Computer Science,|
|University of Oxford,|
|Wolfson Building, Parks Road,|
|Oxford OX1 3QD,|
Last Modified: August 2019