Vesa Halava - UTU Tutkimustietojärjestelmä - UTU Tutkimustietojärjestelmä

Vesa Halava

- professori,
matematiikka (matematiikan ja tilastotieteen laitos)

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

My webpage

Asiantuntijuusalueet

Laskettavuus; automaatit ja formaaliset kielet; logiikka; sanojen kombinatoriikka

Biografia

Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.

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.

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.

Julkaisut

4/4

Undecidability of infinite post correspondence problem for instances of size 9 (2006)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and ApplicationsTheoretical Computer Science
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Equality sets for recursively enumerable languagesBinary (generalized) Post Correspondence Problem (2005)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and ApplicationsTheoretical Computer Science
Halava V, Harju T, Hoogeboom HJ, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Equality sets of prefix morphisms and regular star languagesMarked PCP is decidable (2005)
- Information Processing Letters
Halava V, Harju T, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Integer weighted finite automata, matrices, and formal power series-over Laurent polynomials (2004)
- Lecture Notes in Computer Science
Theory is Forever Halava V
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
Undecidability in matrices over Laurent polynomials\ (2004)
- Advances in Applied MathematicsInternational Journal of Algebra and Computation
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
Halava V, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Languages defined by generalized equality sets (2003)
- Lecture Notes in Computer ScienceRAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Halava V, Harju T, Hoogeboom HJ, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
An undecidability result concerning periodic morphismsOn a geometric problem of zigzags (2002)
- Lecture Notes in Computer Science
Developments in Language Theory Halava V, Harju T
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Generalized PCP is decidable for marked morphisms (2002)
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
(2001)
Halava V, Hirvensalo M, de Wolf R
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Mortality in matrix semigroups (2001)
- American Mathematical Monthly
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Generalized post correspondence problem for marked morphisms (2000)
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Periods and binary words (2000)
- Journal of Combinatorial Theory, Series A
Halava V, Harju T, Ilie L
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Decidability and undecidability of marked PCP (1999)
- Lecture Notes in Computer Science
STACS'99 Halava V, Hirvensalo M, de Wolf R
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Decidability and undecidability of marked PCP (1999) 16th Annual Symposium on Theoretical Aspects of Computer Science Halava V, Hirvensalo. M, de Wolf R
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
(1999)
- Lecture Notes in Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Undecidability of the equivalence of finite substitutions on regular language (1999)
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
(1997)
- Information Processing Letters
Halava V, Harju T, Ilie L
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )