Reino Niskanen
Algorithms, Complexity Theory and Optimisation Group,
Department of Computer Science,
University of Liverpool

Personal Info

I'm a university teacher at the Department of Computer Science at the University of Liverpool.

My research interests are decidability questions in different computational models. Mostly focusing on decidability and complexity in various variants of linear dynamical systems, vector addition games, matrix problems and semi-Thue systems.

Before starting this position, I was working on verification for infinite-state systems with Prof. Joël Ouaknine and on algorithmic verification of string-manipulating programs with Prof. Anthony W. Lin at University of Oxford. I was also a lecturer at Jesus College teaching core first-year computer science courses. 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 *

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

* Expand All * Collapse All *


2020-21: Lecturer for COMP309 Efficient Sequential Algorithms
         Module coordinator for COMP598 MSc Placement Experience and COMP599 MSc Industrial Project.

(at University of Oxford)
2019-20: Lecturer for Digital Systems, Discrete Mathematics, Imperative Programming and Linear Algebra at Jesus College
2018-19: 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:Working from home for the foreseeable future
Postal address:Department of Computer Science,
University of Liverpool,
Ashton Building, Ashton Street
Liverpool L69 3BX,
United Kingdom

Last Modified: January 2021