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
Integer Weighted Automata on Infinite Words (2021)
International Conference on Developments in Language Theory, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Proceedings of the Sixth Russian-Finnish Symposium on Discrete Mathematics (2021)
(O2 Muu julkaisu )On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
Acta Cybernetica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Preface -- Russian-Finnish Symposium in Discrete Mathematics (Fundamenta Informaticae, vol. 162, no. 2-3, pp. i-i, 2018) (2018)
Fundamenta Informaticae
(O2 Muu julkaisu )
On fixed points of rational transductions (2018)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Weighted automata on infinite words in the context of Attacker-Defender games (2017)
Information and Computation
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A new proof for undecidability of the bi-infinite post correspondence problem (2017)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Walks on tilings of polygons (2017)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Small semi-thue system universal with respect to the termination problem (2017)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))