Vesa Halava profiilikuva
Vesa
Halava
professori, matematiikka

Ota yhteyttä

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

Linkit

My webpage
ORCID

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 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))

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))

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))

The theorem of Fine and Wilf for relational periods (2009)

RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Halava V, Harju T, Karki T
(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))

Interaction properties of relational periods (2008)

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

Reachability probelms (RP 2007) - Preface (2008)

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

Square-free partial words (2008)

Information Processing Letters
Halava Vesa, Harju Tero, Kärki Tomi
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Henkilöhaku