Ilkka
Törmä
Mathematics
University Lecturer, Mathematics
Docent, Department of Mathematics and Statistics
PhD
Contact
Links
Areas of expertise
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.
Teaching
I regularly teach courses on Euclidean geometry, linear algebra and the Finnish high school mathematics curriculum for teachers.
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.
Publications
Finding Codes on Infinite Grids Automatically (2024)
Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Diddy: A Python Toolbox for Infinite Discrete Dynamical Systems (2023)
International Workshop on Cellular Automata and Discrete Complex Systems, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
A physically universal Turing machine (2023)
Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Winning Sets of Regular Languages: Descriptional and Computational Complexity (2023)
Journal of Automata, Languages and Combinatorics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Arithmetical complexity of the language of generic limit sets of cellular automata (2023)
Journal of Computer and System Sciences
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
What Can Oracles Teach Us About the Ultimate Fate of Life? (2022)
International Colloquium on Automata, Languages and Programming, International Colloquium on Automata, Languages and Programming
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Stable Multi-Level Monotonic Eroders (2022)
Theory of Computing Systems
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Gardens of Eden in the Game of Life (2022)
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)Cellular automata and bootstrap percolation (2022)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Nilpotent endomorphisms of expansive group actions (2021)
International Journal of Algebra and Computation
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))