Vesa Halava
vesa.halava@utu.fi +358 29 450 4304 +358 50 320 6267 Vesilinnantie 5 Turku Työhuone: 368 Contact by email. ORCID-tunniste: https://orcid.org/0000-0003-3633-4902 |
Laskettavuus; automaatit ja formaaliset kielet; logiikka; sanojen kombinatoriikka
Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.
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.
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.
- ON THE NUMBER OF SQUARES IN PARTIAL WORDS (2010)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Periodicity of Morphic Words (2010)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Overlap-freeness in infinite partial words (2009)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Reachability problems (RP 2008) - Preface (2009)
- International Journal of Foundations of Computer Science
(C2 Toimitustyö tieteelliselle kokoomateokselle) - The theorem of Fine and Wilf for relational periods (2009)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Defect theorems with compatibility relations (2008)
- Semigroup Forum
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Interaction properties of relational periods (2008)
- Discrete Mathematics and Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Reachability probelms (RP 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Square-free partial words (2008)
- Information Processing Letters
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - An undecidability result concerning periodic morphisms (2002)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)