Vesa Halava - UTU Tutkimustietojärjestelmä - UTU Tutkimustietojärjestelmä

Vesa Halava

- Professor,
Mathematics (Department of Mathematics and Statistics)

vesa.halava@utu.fi

+358 29 450 4304

+358 50 320 6267

Vesilinnantie 5

Turku

Office: 368

Contact by email.

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

My webpage

Areas of expertise

computability; automata and formal languages; logic; combinatorics on words

Biography

I am a Professor of Discrete Mathematics and Theoretical Computer Science.

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.

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.

Publications

1 of 3

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
(C2 Editorial work for a scientific journal’s special issue)
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
(Other publication)
Decision Problems on Copying and Shuffling (2024)
- Fundamenta Informaticae
Halava, Vesa; Harju, Tero; Nowotka, Dirk; Sahla, Esa
(A1 Refereed original research article in a scientific journal)
On simulating Turing machines with matrix semigroups with integrality tests (2024)
- Theoretical Computer Science
Halava, Vesa; Niskanen, Reino
(A1 Refereed original research article in a scientific journal)
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
(A1 Refereed original research article in a scientific journal)
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
(A1 Refereed original research article in a scientific journal)
Integer Weighted Automata on Infinite Words (2023)
- International Journal of Foundations of Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
(A1 Refereed original research article in a scientific journal)
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
(A1 Refereed original research article in a scientific journal)
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
(A1 Refereed original research article in a scientific journal)
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
(A4 Refereed article in a conference publication )
Proceedings of the Sixth Russian-Finnish Symposium on Discrete Mathematics (2021) Proceedings of the Sixth Russian-Finnish Symposium on Discrete Mathematics Hakanen Anni, Halava Vesa, Herva Pyry, Kari Jarkko, Laihonen Tero, Petre Ion, Saarela Aleksi
(Other publication)
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions (2021)
- arXiv.org
Halava Vesa

(Other publication)
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
- Fundamenta Informaticae
Halava Vesa, Harju Tero, Sahla Esa
(A1 Refereed original research article in a scientific journal)
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
- Acta Cybernetica
Halava Vesa, Harju Tero
(A1 Refereed original research article in a scientific journal)
On fixed points of rational transductions (2018)
- Theoretical Computer Science
Vesa Halava, Tero Harju, Esa Sahla
(A1 Refereed original research article in a scientific journal)
Preface -- Russian-Finnish Symposium in Discrete Mathematics (Fundamenta Informaticae, vol. 162, no. 2-3, pp. i-i, 2018) (2018)
- Fundamenta Informaticae
Vesa Halava, Juhani Karhumäki, Yuri Matiyasevich, Mikhail Volkov
(Other publication)
A new proof for undecidability of the bi-infinite post correspondence problem (2017)
- Fundamenta Informaticae
Halava V., Harju T., Sahla E.
(A1 Refereed original research article in a scientific journal)
Small semi-thue system universal with respect to the termination problem (2017)
- Fundamenta Informaticae
Halava V., Matiyasevich Y., Niskanen R.
(A1 Refereed original research article in a scientific journal)
Walks on tilings of polygons (2017)
- Theoretical Computer Science
Halava V, Harju T
(A1 Refereed original research article in a scientific journal)
Weighted automata on infinite words in the context of Attacker-Defender games (2017)
- Information and Computation
Halava V, Harju T, Niskanen R, Potapov I
(A1 Refereed original research article in a scientific journal)