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

3/4

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
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the Periodicity of Morphic Words (2010)
- Lecture Notes in Computer Science
Harju, Tero; Halava, Vesa; Kärki, Tomi; Rigo, Michel
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
On post correspondence problem for letter monotonic languages (2009)
- Theoretical Computer Science
Halava V, Kari J, Matiyasevich Y
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Overlap-freeness in infinite partial words (2009)
- Theoretical Computer Science
Halava V, Harju T, Karki T, Seebold P
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Reachability problems (RP 2008) - Preface (2009)
- International Journal of Foundations of Computer Science
Halava V, Potapov I
(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
Halava V, Harju T, Karki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Defect theorems with compatibility relations (2008)
- Semigroup Forum
Halava V, Harju T, Kärki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Interaction properties of relational periods (2008)
- Discrete Mathematics and Theoretical Computer Science
Halava V, Harju T, Karki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (2008)
- International Journal of Algebra and Computation
Bell P, Halava V, Harju T, Karhumaki J, Potapov I
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Post Correspondence Problem for short words (2008)
- Information Processing Letters
Halava V, Harju T, Hirvensalo M, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Reachability probelms (RP 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
Halava V, Potapov I
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Square-free partial words (2008)
- Information Processing Letters
Halava Vesa, Harju Tero, Kärki Tomi
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
Halava V, Harju T, Karhumaki J, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Improved matrix pair undecidability results (2007)
- Acta Informatica
Halava V, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On Markov's undecidability theorem for integer matrices (2007)
- Semigroup Forum
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Relational codes of words (2007)
- Theoretical Computer Science
Halava V, Harju T, Karki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
Halava V, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Positivity of second order linear recurrent sequences (2006)
- Discrete Applied Mathematics
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Undecidability in omega-regular languages (2006)
- Fundamenta Informaticae
Halava V, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )