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 the Periodicity of Morphic Words (2010)

Lecture Notes in Computer Science
Harju, Tero; Halava, Vesa; Kärki, Tomi; Rigo, Michel
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))

ON THE NUMBER OF SQUARES IN PARTIAL WORDS (2010)

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

Reachability problems (RP 2008) - Preface (2009)

International Journal of Foundations of Computer Science
Halava V, Potapov I
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))

Overlap-freeness in infinite partial words (2009)

Theoretical Computer Science
Halava V, Harju T, Karki T, Seebold P
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))