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 dynamical 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.
Short CV
Places I've visited.
* dblp * Google Scholar * ORCID * ResearchGate *
* Expand All * Collapse All *
+ 2020
+ 2019
Monadic Decomposability of Regular Relations,
Pablo Barceló, Chih-Duo Hong, Xuan-Bach Le, Anthony W. Lin, R.N., in LIPIcs 132: 103:1-103:14 presented at ICALP 2019.
+ 2018
On the Identity Problem for the Special Linear Group and the Heisenberg Group,
Sang-Ki Ko, R.N., Igor Potapov, in LIPIcs 107: 132:1-132:15 presented at ICALP 2018.
Reachability games and related matrix and word problems,
R.N., PhD Thesis.
Reachability Problems in Nondeterministic Polynomial Maps on the Integers,
Sang-Ki Ko, R.N., Igor Potapov, in LNCS 11088: 465-477 presented at DLT 2018.
+ 2017
Reachability problem for polynomial iteration is PSPACE-complete,
R.N., in LNCS 10506: 132-143 presented at RP 2017 (Slides).
Small Semi-Thue System Universal with Respect to the Termination Problem,
Vesa Halava, Yuri Matiyasevich, R.N., in Fundamenta Informaticae 154(1-4): 177-184.
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games,
Tero Harju, Vesa Halava, R.N., Igor Potapov, in Information and Computation 255: 27-44.
+ 2016
Robot Games with States in Dimension One,
R.N., in LNCS 9899: 163-176 presented at RP 2016 (Slides).
Undecidability of Two-dimensional Robot Games,
R.N., Igor Potapov, Julien Reichert, in LIPIcs 58: 73:1-73:13 presented at MFCS 2016 (Slides).
+ 2015
On Robot Games of Degree Two,
Vesa Halava, R.N., Igor Potapov, in LNCS 8977: 224-236, presented at LATA 2015 (Slides).
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games,
Tero Harju, Vesa Halava, R.N., Igor Potapov, in LNCS 9136: 206-215, presented at CiE 2015 (Slides).
Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata,
Vesa Halava, Tero Harju, R.N., Igor Potapov, pre-print.
* Expand All * Collapse All *
2019-20, Trinity Term: Lecturer for
Digital Systems,
Imperative Programming (Part 3) at Jesus College
Hilary Term: Lecturer for
Digital Systems,
Imperative Programming (Parts 1 and 2) at Jesus College
Michaelmas Term: Lecturer for
Discrete Mathematics,
Linear Algebra at Jesus College
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
