Vesa
Halava
professori, matematiikka
Linkit
Asiantuntijuusalueet
Laskettavuus
automaatit ja formaaliset kielet
logiikka
sanojen kombinatoriikka
Biografia
Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.
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.
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.
Julkaisut
Word problem for deterministic and reversible semi-Thue systems (2014)
Semigroup Forum
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
11th Conference on computability in Europe, CiE 2015, TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post (2014)
arXiv.org
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Russian-Finnish Symposium in Discrete Mathematics (2014)
Fundamenta Informaticae
(Muu (O2))
Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
On n-permutation Post Correspondence Problem (2013)
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem (2013)
Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
New proof for the undecidability of the circular PCP (2013)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
New Proof for the Undecidability of the Circular PCP (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))