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
New proof for the undecidability of the circular PCP (2013)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On n-permutation Post Correspondence Problem (2013)
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))New Proof for the Undecidability of the Circular PCP (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))
Words, Graphs, Automata, and Languages: Special Issue Honoring the 60th Birthday of Professor Tero Harju (2012)
pecial Issue Honoring the 60th Birthday of Professor Tero Harju: Preface
Fundamenta Informaticae
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))
RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012 (2012)
TUCS Lecture Notes
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))
Word Problem for deterministic and reversible semi-Thue systems (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))
REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM (2011)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A new proof for the decidability of D0L ultimate periodicity (2011)
Electronic Proceedings in Theoretical Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
On the Joint Spectral Radius for Bounded Matrix Languages (2010)
Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))