Ilkka Törmä
PhD
iatorm@utu.fi Office: 395 ORCID identifier: https://orcid.org/0000-0001-5541-8517 |
Areas of expertise
Symbolic dynamics; Cellular automata
Symbolic dynamics; Cellular automata
Biography
I am a university lecturer at the Department of Mathematics and Statistics. I obtained my PhD from the University of Turku in 2015. Since then I have worked as a researcher at Boston University (USA), University of Montpellier (France), and now at the University of Turku.
Research
I study cellular automata and multidimensional symbolic dynamics, from both dynamical and computational perspectives. In particular, I am interested in the properties of multidimensional SFTs and sofic shifts, and the relations between their different subclasses.
Teaching
I regularly teach courses on Euclidean geometry, linear algebra and the Finnish high school mathematics curriculum for teachers.
Publications 
1 of 3
- Structure and computability of preimages in the Game of Life (2025)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Finding Codes on Infinite Grids Automatically (2024)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - A physically universal Turing machine (2023)
- Journal of Computer and System Sciences
(A1 Refereed original research article in a scientific journal) - Arithmetical complexity of the language of generic limit sets of cellular automata (2023)
- Journal of Computer and System Sciences
(A1 Refereed original research article in a scientific journal) - Diddy: A Python Toolbox for Infinite Discrete Dynamical Systems (2023)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - Winning Sets of Regular Languages: Descriptional and Computational Complexity (2023)
- Journal of Automata, Languages and Combinatorics
(A1 Refereed original research article in a scientific journal) - Cellular automata and bootstrap percolation (2022)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Gardens of Eden in the Game of Life (2022) Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday Salo Ville, Törmä Ilkka
(A3 Refereed book chapter or chapter in a compilation book) - Stable Multi-Level Monotonic Eroders (2022)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - What Can Oracles Teach Us About the Ultimate Fate of Life? (2022)
- International Colloquium on Automata, Languages and Programming
(A4 Refereed article in a conference publication ) - Fixed point constructions in tilings and cellular automata (2021)
- Open Access Series in Informatics
(A4 Refereed article in a conference publication ) - Generically Nilpotent Cellular Automata (2021) Proceedings of the Sixth Russian-Finnish Symposium on Discrete Mathematics Törmä Ilkka
(Other publication) - Nilpotent endomorphisms of expansive group actions (2021)
- International Journal of Algebra and Computation
(A1 Refereed original research article in a scientific journal) - Recoding Lie algebraic subshifts (2021)
- Discrete and continuous dynamical systems: series a
(A1 Refereed original research article in a scientific journal) - Complexity of Generic Limit Sets of Cellular Automata (2020)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - Countable Sofic Shifts with a Periodic Direction (2020)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - Descriptional Complexity of Winning Sets of Regular Languages (2020)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - A One-Dimensional Physically Universal Cellular Automaton (2017)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - Independent finite automata on Cayley graphs (2017)
- Natural Computing
(A1 Refereed original research article in a scientific journal) - PSPACE-completeness of majority automata networks (2016)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal)
UTU Research Portal