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.
- 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ä ) - Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Improved matrix pair undecidability results (2007)
- Acta Informatica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On Markov's undecidability theorem for integer matrices (2007)
- Semigroup Forum
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Relational codes of words (2007)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Positivity of second order linear recurrent sequences (2006)
- Discrete Applied Mathematics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Undecidability in omega-regular languages (2006)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
