Vesa Halava
vesa.halava@utu.fi +358 29 450 4304 +358 50 320 6267 Vesilinnantie 5 Turku : 368 Contact by email. |
computability; automata and formal languages; logic; combinatorics on words
I am a Professor of Discrete Mathematics and Theoretical Computer Science.
My main field of research is in the field of Computability, more precisely on undecidable problems in automata and formal langauges and in the semigroups generated by integer matrices. Recently, I have also focused on the Foundations of Computation and related issues in the Foundations of Mathematics -- in Logic and Set Theory. I have also published articles in Combinatorics on Words.
I teach two course in Logic, basic course and advanced level course. I also teach Analysis I for (the first year) students of mathematics.
3 of 8
- Similarity relations on words (2016) Combinatorics, Words and Symbolic Dynamics Vesa Halava, Tero Harju, Tomi Kärki
- On Robot Games of Degree Two (2015) Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings Vesa Halava, Reino Niskanen, Igor Potapov
- On the n-permutation Post Correspondence Problem (2015)
- Theoretical Computer Science
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
- Lecture Notes in Computer Science
- Another proof of undecidability for the correspondence decision problem - Had I been Emil Post (2014)
- arXiv.org
- Russian-Finnish Symposium in Discrete Mathematics (2014)
- Fundamenta Informaticae
- Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
- TUCS Publication Series
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
- TUCS Publication Series
- Word problem for deterministic and reversible semi-Thue systems (2014)
- Semigroup Forum
- Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
- Fundamenta Informaticae
UTU Research Portal