Reino Niskanen
Automated Verification,
Department of Computer Science,
University of Oxford

Personal Info

I'm a research associate at the Department of Computer Science at the University of Oxford.
I'm a working on verification for infinite-state systems with Prof. Joël Ouaknine.

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.

Short CV

Places I've visited.


* dblp * Google Scholar * ORCID * ResearchGate *

* Expand All * Collapse All *

+ 2019
+ 2018
+ 2017
+ 2016
+ 2015
+ 2014

* Expand All * Collapse All *


2018-19, Hilary Term: Teaching Assistant for Automata, Logic and Games

(at University of Liverpool)
2017-18: Demonstrator for COMP309 Efficient Sequential Algorithms
2016-17: Demonstrator for COMP108 Algorithmic Foundations, COMP202 Complexity of Algorithms
2015-16: Demonstrator for COMP108 Algorithmic Foundations, COMP118 Logic in Computer Science
2014-15: Demonstrator for COMP108 Algorithmic Foundations


Office:Wolfson Building, 5.01
Postal address:Department of Computer Science,
University of Oxford,
Wolfson Building, Parks Road,
Oxford OX1 3QD,
United Kingdom