Ilkka Törmä
PhD
iatorm@utu.fi Työhuone: 395 ORCID-tunniste: https://orcid.org/0000-0001-5541-8517 |
Symbolidynamiikka; Soluautomaatit
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.
Tutkin soluautomaattien ja moniulotteisten siirtoavaruuksien dynaamisia ja laskennallisia ominaisuuksia. Olen erityisen kiinnostunut äärellisen tyypin ja sofisten avaruuksien ominaisuuksista, ja niiden aliluokkien yhteyksistä.
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".
- Countable Sofic Shifts with a Periodic Direction (2020)
- Theory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Descriptional Complexity of Winning Sets of Regular Languages (2020)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - A One-Dimensional Physically Universal Cellular Automaton (2017)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Independent finite automata on Cayley graphs (2017)
- Natural Computing
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - PSPACE-completeness of majority automata networks (2016)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - 21st International Workshop on Cellular Automata and Discrete Complex Systems – Exploratory Papers of AUTOMATA 2015 (2015) Jarkko Kari, Ilkka Törmä, Michal Szabados
(O2 Muu julkaisu ) - A Uniquely Ergodic Cellular Automaton (2015)
- Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Block maps between primitive uniform and Pisot substitutions (2015)
- Ergodic Theory and Dynamical Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Category Theory of Symbolic Dynamics (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2 (2015)
- Lecture Notes in Computer Science
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
