Vesa Halava - UTU Research Portal

Vesa Halava

- Professor,
Mathematics (Department of Mathematics and Statistics)

vesa.halava@utu.fi

+358 29 450 4304

+358 50 320 6267

Vesilinnantie 5

Turku

: 368

Contact by email.

: https://orcid.org/0000-0003-3633-4902

My webpage

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.

1 of 8

Codes, Graphs, Coverings, and Identification: Special Issue Honoring the 60-th Birthday of Professor Iiro Honkala (2024)
- Fundamenta Informaticae
Halava, Vesa; Kari, Jarkko; Laihonen, Tero
Codes, Graphs, Coverings, and Identification: Special Issue Honoring the 60-th Birthday of Professor Iiro Honkala (Preface) (2024)
- Fundamenta Informaticae
Halava, Vesa; Kari, Jarkko; Laihonen, Tero
Decision Problems on Copying and Shuffling (2024)
- Fundamenta Informaticae
Halava, Vesa; Harju, Tero; Nowotka, Dirk; Sahla, Esa
On simulating Turing machines with matrix semigroups with integrality tests (2024)
- Theoretical Computer Science
Halava, Vesa; Niskanen, Reino
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time (2023)
- International Journal of Foundations of Computer Science
Halava Vesa, Holub Štěpán
Highly Tuneable Photochromic Sodalites for Dosimetry, Security Marking and Imaging (2023)
- Advanced Functional Materials
Byron Hannah Charloette, Swain Claudia, Paturi Pyry, Colinet Pauline, Rullan Raphel, Halava Vesa, Le Bahers Tangui, Lastusaari Mika
Integer Weighted Automata on Infinite Words (2023)
- International Journal of Foundations of Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
On bi-infinite and conjugate post correspondence problems (2023)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Finkel Olivier, Halava Vesa, Harju Tero, Sahla Esa
Certain linear and weakly linear systems of matrix equations over semirings. Applications in a state reduction of weighted automata (2022)
- Filomat
Stamenković Aleksandar, Stanimirović Stefan, Halava Vesa
Integer Weighted Automata on Infinite Words (2021)
- Lecture Notes in Computer Science
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor