1. No category

[email protected]
http://users.utu.fi/iatorm/
Born September 1, 1989 in Järvenpää, Finland
Boston University
Department of Computer Science
111 Cummington Mall
Boston, MA 02215
August 18, 2015
Ilkka Törmä
Curriculum Vitae
Current Position
9/2015
–4/2016
Visiting Fulbright Scholar
Conducting research on theory of fault-tolerant computing with Prof. Peter Gacs
Department of Computer Science
Boston University
Past Positions
2012–2015
Doctoral Candidate
MATTI – Doctoral Programme in Mathematics and Computer Sciences, TUCS Doctoral Programme
Dissertation title: Structural and Computational Existence Results for Multidimensional Subshifts
Advisor: Prof. Jarkko Kari
Department of Mathematics and Statistics
University of Turku, Finland
2011–2012
Research Assistant
Supervisor: Prof. Jarkko Kari
Department of Mathematics and Statistics
University of Turku, Finland
Grants and Fellowships
Fellowships for Visiting Scholars
9/2015
–4/2016
ASLA-Fulbright Grant for a Junior Scholar, 24000 USD
Fulbright Center and University of Turku
Grant for conducting postdoctoral research at Boston University
Research Grants
5–8/2015
Research Grant, 6680 euro
Turku University Foundation
1/2015
Nokia Scholarship, 5000 euro
Nokia Foundation
3–4/2015
MATTI Grant for Completing a Doctoral Degree, 3252 euro
MATTI Doctoral Programme
7–12/2013
Young Researcher’s Grant, 9756 euro
Turku University Foundation
1
Grants and Fellowships (continued)
9/2012
–2/2015
Funded PhD Student Position in TUCS Doctoral Programme
TUCS – Turku Centre for Computer Science
Funded by TUCS, Academy of Finland Grant 131558, and Department of Mathematics and Statistics
Education
2015
PhD in Mathematics
University of Turku, Finland
Dissertation title: Structural and Computational Existence Results for Multidimensional Subshifts
Opponent: Prof. Alexander Shen, University of Montpellier, France
2012
Master of Science in Mathematics
University of Turku, Finland
Thesis title: Nilpotency in Cellular Automata
Thesis grade: Laudatur, the highest grade
Minors: Computer Science, Physics
2012
Bachelor of Science in Mathematics
University of Turku, Finland
Thesis title: Syklisten koodien muodostaminen ja lintujen rengastusjärjestelmä
Translation: Construction of Cyclic Codes, and a Bird Banding System
Minors: Computer Science, Physics
2008
Matriculation Examination
Juhana Herttua upper secondary school, Turku, Finland
Arts and media programme
Publications
Preprints
Factor Colorings of Linearly Recurrent Words (with Ville Salo)
ArXiv e-prints 1504.05821, 2015.
PSPACE-Completeness of Majority Automata Networks (with Eric Goles, Pedro Montealegre
and Ville Salo)
ArXiv e-prints 1501.03992, 2015.
A One-Dimensional Physically Universal Cellular Automaton (with Ville Salo)
ArXiv e-prints 1501.03988, 2015.
Articles in Journals
Quantifier Extensions of Multidimensional Sofic Shifts
Proceedings of the American Mathematical Society, 2015.
Block Maps between Primitive Uniform and Pisot Substitutions (with Ville Salo)
To appear in Ergodic Theory and Dynamical Systems, available on Cambridge Journals Online 2014.
Category Theory of Symbolic Dynamics (with Ville Salo)
Theoretical Computer Science 567:21–45, 2015.
A Uniquely Ergodic Cellular Automaton
Journal of Computer and System Sciences 81(2):415–442, 2015.
2
Publications (continued)
Color Blind Cellular Automata (with Ville Salo)
Journal of Cellular Automata 9(5–6):477–509, 2014.
Journal version of proceedings article with the same title.
Playing with Subshifts (with Ville Salo).
Fundamenta Informaticae, 132(1):131–152, 2014.
Journal version of proceedings article with the same title.
Constructions with Countable Subshifts of Finite Type (with Ville Salo)
Fundamenta Informaticae, 126(2–3):263–300, 2013.
Journal version of On Derivatives and Subpattern Orders of Countable Subshifts.
Articles in Proceedings
Group-Walking Automata (with Ville Salo)
Cellular Automata and Discrete Complex Systems, AUTOMATA 2015, Lecture Notes in Computer
Science 9099, Springer, Heidelberg, 2015.
Subshifts, MSO Logic, and Collapsing Hierarchies
Theoretical Computer Science, TCS 2014, Lecture Notes in Computer Science 8705, Springer, Heidelberg, 2014.
Plane-Walking Automata (with Ville Salo)
Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, Lecture Notes in Computer
Science 8996, Springer, Heidelberg, 2015.
Complexity for Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank
2 (with Ville Salo)
Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, Lecture Notes in Computer
Science 8996, Springer, Heidelberg, 2015.
Trace Complexity of Chaotic Reversible Cellular Automata (with Jarkko Kari and Ville Salo)
Reversible Computation, RC 2014, Lecture Notes in Computer Science 8507, Springer, Heidelberg,
2014.
Surjective Two-Neighbor Cellular Automata on Prime Alphabets (with Jarkko Kari and
Ville Salo)
AUTOMATA 2013 Exploratory Papers, IFIG Research Report 1302, 2013.
Color Blind Cellular Automata (with Ville Salo)
Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, Lecture Notes in Computer
Science 8155, Springer, Heidelberg, 2013.
Commutators of Bipermutive and Affine Cellular Automata (with Ville Salo)
Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, Lecture Notes in Computer
Science 8155, Springer, Heidelberg, 2013.
Playing with Subshifts (with Ville Salo).
Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics, TUCS Lecture Notes
17, 2012.
On Derivatives and Subpattern Orders of Countable Subshifts (with Ville Salo)
AUTOMATA & JAC 2012, Electronic Proceedings in Computer Science 90, 2012.
Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology
(with Ville Salo)
AUTOMATA & JAC 2012, Electronic Proceedings in Computer Science 90, 2012.
3
Publications (continued)
Computational Aspects of Cellular Automata on Countable Sofic Shifts (with Ville Salo)
Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 7464, Springer,
Heidelberg, 2012.
Geometry and Dynamics of the Besicovitch and Weyl Spaces (with Ville Salo)
Developments in Language Theory, Lecture Notes in Computer Science 7410, Springer, Heidelberg,
2012.
On Shift Spaces with Algebraic Structure (with Ville Salo)
How the World Computes, CiE 2012, Lecture Notes in Computer Science 7318, Springer, Heidelberg,
2012.
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata (with Ville
Salo)
Language and Automata Theory and Applications, Lecture Notes in Computer Science 7183, Springer,
Heidelberg, 2012.
Conference Activity
6/2015
AUTOMATA 2015
Turku, Finland
Member of organizing committee
Conference talk: Group-Walking Automata
9/2014
Theoretical Computer Science 2014
Rome, Italy
Conference talk: Subshifts, MSO Logic, and Collapsing Hierarchies
Supported by grant from Turku Centre for Computer Science
7/2014
AUTOMATA 2014
Himeji, Japan
Conference talk: Plane-Walking Automata
Supported by grants from Turku University Foundation and MATTI doctoral programme
9/2013
AUTOMATA 2013
Gießen, Germany
Conference talk: Commutators of Bipermutive and Affine Cellular Automata
Supported by grant from Turku Centre for Computer Science
9/2012
Second Russian-Finnish Symposium on Discrete Mathematics
Turku, Finland
Conference talk: Playing with Subshifts
9/2012
AUTOMATA & JAC 2012
La Marana, Corsica
Conference talk: On Derivatives and Subpattern Orders of Countable Subshifts
8/2012
Mathematical Foundations of Computer Science 2012
Bratislava, Slovakia
Conference talk: Cellular Automata on Countable Sofic Shifts
6/2012
Computability in Europe 2012
Cambridge, Great Britain
Conference talk: On Shift Spaces with Algebraic Structure
Supported by grant from Turku University Foundation
4
International Visits
11/2013
Santiago, Chile
Center for Mathematical Modeling
Universidad de Chile
Invited lecture: Playing with Subshifts
Short lecture series (jointly with Ville Salo): Category Theory of Symbolic Dynamics
11/2013
Santiago, Chile
Facultad de Ingenierı́a y Ciencias
Universidad Adolfo Ibañez
Invited lecture: Predicting the Evolution of Boolean Majority Networks
Teaching Experience
3–5/2015
Course Tutor for First-Year Mathematics Undergraduates
Analyysi II (Calculus II)
Department of Mathematics and Statistics
University of Turku, Finland
9–12/2014
Homework Session Supervisor
Analyysi I (Calculus I)
Department of Mathematics and Statistics
University of Turku, Finland
1–5/2014
Homework Session Supervisor
Algebran peruskurssi I (Basics of Algebra I)
Department of Mathematics and Statistics
University of Turku, Finland
9–12/2013
Course Tutor for First-Year Mathematics Undergraduates
Analyysi I (Calculus I)
Department of Mathematics and Statistics
University of Turku, Finland
9–12/2012
Homework Session Supervisor
Matematiikan peruskurssi C (Mathematics Basic Studies C)
Department of Mathematics and Statistics
University of Turku, Finland
Service to Profession
Professional Associations
2012–
European Association for Theoretical Computer Science
Member
Positions of Responsibility
2015
AUTOMATA 2015 Organizing Committee
Committee Member
Department of Mathematics and Statistics
University of Turku, Finland
2013–2015
UTUGS Doctoral Programme in Mathematics and Computer Sciences
Board Member
Faculty of Mathematics and Natural Sciences
University of Turku, Finland
5
Service to Profession (continued)
2012–2015
Committee for the Development of Education
Committee Member
Faculty of Mathematics and Natural Sciences
University of Turku, Finland
Referee Activity
Subreviewer for Journals
Fundamenta Informaticae; International Journal of Foundations of Computer Science; Theoretical
Computer Science; Natural Computing
Subreviewer for Conferences
Developments in Language Theory; Unconventional Computation; Reversible Computation; International Colloquium on Automata, Languages and Programming; Russian Finnish Symposium on
Discrete Mathematics; Computability in Europe; Mathematical Foundations of Computer Science
Language Skills
Finnish
English
Swedish
Spanish
French
Native
Fluent
Good
Good
Basic
Other Interests
Outside of work, I practice recreational programming, mostly in the form of small games and mathematical gadgets, and I am a member of several related communities.
6