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

Vesa Halava

- professori,
matematiikka (matematiikan ja tilastotieteen laitos)

vesa.halava@utu.fi

+358 29 450 4304

+358 50 320 6267

Vesilinnantie 5

Turku

Työhuone: 368

Contact by email.

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

My webpage

Asiantuntijuusalueet

Laskettavuus; automaatit ja formaaliset kielet; logiikka; sanojen kombinatoriikka

Biografia

Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.

Tutkimus

Päätutkimusalani on laskettavuus, erityisesti ratkeamattomat ongelmat automaattien ja formaalisten kielten teoriassa ja kokonaislukumatriisien puoliryhmissä. Viime aikoina olen keskittynyt myös laskettavuuden ja laskenna perusteiden tutkimukseen, ja siihen liittyvään matematiikan perusteiden tutkimukseen -- logiikkaan ja joukko-oppiin. Olen julkaissut myös sanojen kombinatoriikasta.

Opetus

Tällä hetkellä opetan kahta logiikan kurssia, aineopintokurssia Logiikka ja Logiikan jatkokurssi -nimistä erikoiskurssia.

Lisäksi opetan ensimmäisen vuoden matematiikan opiskelijoille Analyysi I kurssia.

Julkaisut

1/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 Toimitustyö tieteellisen lehden erikoisnumerolle)
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
(O2 Muu julkaisu )
Decision Problems on Copying and Shuffling (2024)
- Fundamenta Informaticae
Halava, Vesa; Harju, Tero; Nowotka, Dirk; Sahla, Esa
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On simulating Turing machines with matrix semigroups with integrality tests (2024)
- Theoretical Computer Science
Halava, Vesa; Niskanen, Reino
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Integer Weighted Automata on Infinite Words (2023)
- International Journal of Foundations of Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu artikkeli konferenssijulkaisussa)
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
(O2 Muu julkaisu )
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions (2021)
- arXiv.org
Halava Vesa

(O2 Muu julkaisu )
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
- Fundamenta Informaticae
Halava Vesa, Harju Tero, Sahla Esa
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
- Acta Cybernetica
Halava Vesa, Harju Tero
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On fixed points of rational transductions (2018)
- Theoretical Computer Science
Vesa Halava, Tero Harju, Esa Sahla
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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
(O2 Muu julkaisu )
A new proof for undecidability of the bi-infinite post correspondence problem (2017)
- Fundamenta Informaticae
Halava V., Harju T., Sahla E.
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Small semi-thue system universal with respect to the termination problem (2017)
- Fundamenta Informaticae
Halava V., Matiyasevich Y., Niskanen R.
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Walks on tilings of polygons (2017)
- Theoretical Computer Science
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )