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

2/3

Similarity relations on words (2016) Combinatorics, Words and Symbolic Dynamics Vesa Halava, Tero Harju, Tomi Kärki
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
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
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
On the n-permutation Post Correspondence Problem (2015)
- Theoretical Computer Science
Mari Ernvall, Vesa Halava, Tero Harju
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
- Lecture Notes in Computer Science
Halava V, Harju T, Niskanen R, Potapov I
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post (2014)
- arXiv.org
Halava Vesa
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä )
Russian-Finnish Symposium in Discrete Mathematics (2014)
- Fundamenta Informaticae
Vesa Halava, Juhani Karhumäki, Yuri Matiyasevich
(O2 Muu julkaisu )
Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
- TUCS Publication Series
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä )
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
- TUCS Publication Series
Evolving computability Halava V, Harju T, Niskanen R, Potapov I
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä )
Word problem for deterministic and reversible semi-Thue systems (2014)
- Semigroup Forum
Halava V., Harju T.
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
- Fundamenta Informaticae
Bell PC, Halava V, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem (2013)
- Lecture Notes in Computer Science
9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings Halava V
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
New proof for the undecidability of the circular PCP (2013)
- Acta Informatica
Vesa Halava, Tero Harju
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On n-permutation Post Correspondence Problem (2013) Vesa Halava, Tero Harju, Mari Huova
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys )
New Proof for the Undecidability of the Circular PCP (2012)
- TUCS Publication Series
Halava Vesa, Harju Tero
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys )
RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012 (2012)
- TUCS Lecture Notes
Halava Vesa, Karhumäki Juhani, Matiyasevich Yuri
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Word Problem for deterministic and reversible semi-Thue systems (2012)
- TUCS Publication Series
Halava Vesa, Harju Tero
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys )
Words, Graphs, Automata, and Languages: Special Issue Honoring the 60th Birthday of Professor Tero Harju (2012)
- Fundamenta Informaticae
Halava V, Karhumaki J, Nowotka D, Rozenberg G
(C2 Toimitustyö tieteelliselle kokoomateokselle)
A new proof for the decidability of D0L ultimate periodicity (2011)
- Electronic Proceedings in Theoretical Computer Science
Halava Vesa, Harju Tero, Kärki Tomi
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM (2011)
- International Journal of Foundations of Computer Science
Halava V, Holub S
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the Joint Spectral Radius for Bounded Matrix Languages (2010)
- Lecture Notes in Computer Science
Bell Paul C, Halava Vesa, Hirvensalo Mika
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)