Reino Niskanen
School of Computer Science and Mathematics,
Liverpool John Moores University

Personal Info

I'm a senior lecturer at the School of Computer Science and Mathematics at the Liverpool John Moores University.

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 a university teacher at the University of Liverpool. Prior to that I worked 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.


Publications

* dblp * Google Scholar * ORCID * ResearchGate *

* Expand All * Collapse All *

+ 2024
+ 2023
+ 2022
+ 2021
+ 2020
+ 2019
+ 2018
+ 2017
+ 2016
+ 2015
+ 2014

* Expand All * Collapse All *


Teaching

All teaching materials can be found on Canvas.

2024-25: Module leader for 5220COMP Algorithm Design, 5229COMP Automata, languages and computation
        Semester 1 guest lecture for 6221COMP Contemporary Concepts in Computer Science
        Semester 2 Labs for 4216COMP Computer Science Workshop, 6220COMP Computer Graphics and Visualisation
        5100COMSCI Sandwich Year - Computer Science supervision, 6200COMP Project supervision
2023-24: Module leader for 5229COMP Automata, languages and computation
        Semester 1 Labs for 5220COMP Algorithm Design, guest lecture for 6221COMP Contemporary Concepts in Computer Science
        Semester 2 Labs for 4216COMP Computer Science Workshop, 6220COMP Computer Graphics and Visualisation
        5100COMSCI Sandwich Year - Computer Science supervision, 6200COMP Project supervision
2022-23: Module leader for 5229COMP Automata, languages and computation
        Semester 1 Labs for 5220COMP Algorithm Design, 6122COMP Virtualised Computing Architectures
        Semester 2 Labs for 4216COMP Computer Science Workshop, 6120COMP Graphics and Data Visualisation
        5100COMSCI Sandwich Year - Computer Science supervision, 6100COMP Project supervision
2021-22: Module leader for 5121COMP Compiler Design
        Semester 1 Labs for 4201COMP Computer Systems, 5120COMP Algorithm Design, 6122COMP Virtualised Computing Architectures
        Semester 2 Labs for 4203COMP Professional Practice, 4204COMP Data Modelling, 4216COMP Computer Science Workshop, 5100COMP Research Skills, 6120COMP Graphics and Data Visualisation
        5100COMSCI Sandwich Year - Computer Science supervision, 6100COMP Project supervision, 7136COMP Project Dissertation supervision

(at University of Liverpool)
2020-21: Lecturer for COMP309 Efficient Sequential Algorithms, Module coordinator for COMP598 MSc Placement Experience and COMP599 MSc Industrial Project, industrial placement supervision, BSc final-year project supervision, MSc project supervision

(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

Contact

Email:r(dot)niskanen(at)ljmu(dot)ac(dot)uk
Office:6.04a
Postal address:School of Computer Science and Mathematics,
Liverpool John Moores University,
James Parsons Building,
3 Byrom Street,
Liverpool L3 3AF,
United Kingdom

Last Modified: September 2024