PhD Ilkka Törmä - UTU Tutkimustietojärjestelmä

Ilkka Törmä
PhD

- yliopistonlehtori,
matematiikka (matematiikan ja tilastotieteen laitos)
- dosentti,
matematiikan ja tilastotieteen laitos (matemaattis-luonnontieteellinen tiedekunta)

iatorm@utu.fi

Työhuone: 395

ORCID-tunniste: https://orcid.org/0000-0001-5541-8517

Asiantuntijuusalueet

Symbolidynamiikka; Soluautomaatit

Biografia

Olen tällä hetkellä yliopisto-opettaja matematiikan ja tilastotieteen laitoksella. Valmistuin tohtoriksi Turun yliopistosta vuonna 2015. Sen jälkeen olen työskennellyt tutkijana Boston Universityssä Yhdysvalloissa, Montpellierin yliopistossa Ranskassa, ja nyt Turun yliopistossa.

Tutkimus

Tutkin soluautomaattien ja moniulotteisten siirtoavaruuksien dynaamisia ja laskennallisia ominaisuuksia. Olen erityisen kiinnostunut äärellisen tyypin ja sofisten avaruuksien ominaisuuksista, ja niiden aliluokkien yhteyksistä.

Opetus

Olen luennoinut kandidaattitasoisen geometrian kurssin kolmena viime lukuvuonna. Lisäksi olen aiemmin luennoinut abstraktin algebran kurssin ja matematiikan pohjatietokurssin. Keväällä 2021 luennoin maisteritasoisen kurssin "Advanced Symbolic Dynamics".

Julkaisut

1/3

Structure and computability of preimages in the Game of Life (2025)
- Theoretical Computer Science
Salo, Ville; Törmä, Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Finding Codes on Infinite Grids Automatically (2024)
- Fundamenta Informaticae
Salo, Ville; Törmä, Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
A physically universal Turing machine (2023)
- Journal of Computer and System Sciences
Salo Ville, Törmä Ilkka
(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
Esnay Solène J, Núñez Alonso, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Diddy: A Python Toolbox for Infinite Discrete Dynamical Systems (2023)
- Lecture Notes in Computer Science
Cellular Automata and Discrete Complex Systems: 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023, Proceedings Salo Ville, Törmä Ilkka
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Winning Sets of Regular Languages: Descriptional and Computational Complexity (2023)
- Journal of Automata, Languages and Combinatorics
Marcus Pierre, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Cellular automata and bootstrap percolation (2022)
- Theoretical Computer Science
Salo Ville, Theyssier Guillaume, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
Stable Multi-Level Monotonic Eroders (2022)
- Theory of Computing Systems
Gács Péter, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
What Can Oracles Teach Us About the Ultimate Fate of Life? (2022)
- International Colloquium on Automata, Languages and Programming
49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) Salo Ville, Törmä Ilkka
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Fixed point constructions in tilings and cellular automata (2021)
- Open Access Series in Informatics
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021) Törmä Ilkka
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Generically Nilpotent Cellular Automata (2021) Proceedings of the Sixth Russian-Finnish Symposium on Discrete Mathematics Törmä Ilkka
(O2 Muu julkaisu )
Nilpotent endomorphisms of expansive group actions (2021)
- International Journal of Algebra and Computation
Salo Ville, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Recoding Lie algebraic subshifts (2021)
- Discrete and continuous dynamical systems: series a
Salo Ville, Törmä Ilkka
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Complexity of Generic Limit Sets of Cellular Automata (2020)
- Lecture Notes in Computer Science
Cellular Automata and Discrete Complex Systems 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings Törmä Ilkka
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Countable Sofic Shifts with a Periodic Direction (2020)
- Theory of Computing Systems
Törmä I
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Descriptional Complexity of Winning Sets of Regular Languages (2020)
- Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems Marcus P., Törmä I.
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
A One-Dimensional Physically Universal Cellular Automaton (2017)
- Lecture Notes in Computer Science
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings Salo V., Törmä I.
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Independent finite automata on Cayley graphs (2017)
- Natural Computing
Salo V, Torma I
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
PSPACE-completeness of majority automata networks (2016)
- Theoretical Computer Science
Eric Goles, Pedro Montealegre, Ville Salo, Ilkka Törmä
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )