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.
- Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem (2013)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - New proof for the undecidability of the circular PCP (2013)
- Acta Informatica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On n-permutation Post Correspondence Problem (2013) Vesa Halava, Tero Harju, Mari Huova
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys ) - New Proof for the Undecidability of the Circular PCP (2012)
- TUCS Publication Series
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys ) - RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012 (2012)
- TUCS Lecture Notes
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Word Problem for deterministic and reversible semi-Thue systems (2012)
- TUCS Publication Series
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys ) - Words, Graphs, Automata, and Languages: Special Issue Honoring the 60th Birthday of Professor Tero Harju (2012)
- Fundamenta Informaticae
(C2 Toimitustyö tieteelliselle kokoomateokselle) - A new proof for the decidability of D0L ultimate periodicity (2011)
- Electronic Proceedings in Theoretical Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM (2011)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Joint Spectral Radius for Bounded Matrix Languages (2010)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
