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

3/8

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ä )