Vesa
Halava
Professor, Mathematics
Links
Areas of expertise
computability
automata and formal languages
logic
combinatorics on words
Biography
I am a Professor of Discrete Mathematics and Theoretical Computer Science.
Teaching
I teach two course in Logic, basic course and advanced level course. I also teach Analysis I for (the first year) students of mathematics.
Research
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.
Publications
Similarity relations on words (2016)
(Vertaisarvioitu artikkeli kokoomateoksessa (A3))On Robot Games of Degree Two (2015)
International Conference on Language and Automata Theory and Applications
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
Computability in Europe, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
On the n-permutation Post Correspondence Problem (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post (2014)
arXiv.org
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Russian-Finnish Symposium in Discrete Mathematics (2014)
Fundamenta Informaticae
(O2 Muu julkaisu )
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
11th Conference on computability in Europe, CiE 2015, TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Word problem for deterministic and reversible semi-Thue systems (2014)
Semigroup Forum
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))