Vesa Halava profiilikuva
Vesa
Halava
professori, matematiikka

Ota yhteyttä

+358 29 450 4304
+358 50 320 6267
Vesilinnantie 5
20500
Turku

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

Järjestä:

On bi-infinite and conjugate post correspondence problems (2023)

RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Finkel Olivier, Halava Vesa, Harju Tero, Sahla Esa
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Integer Weighted Automata on Infinite Words (2022)

International Journal of Foundations of Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Integer Weighted Automata on Infinite Words (2021)

International Conference on Developments in Language Theory, Lecture Notes in Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))