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.
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, 5.01|
|Postal address:||Department of Computer Science,|
|University of Oxford,|
|Wolfson Building, Parks Road,|
|Oxford OX1 3QD,|