Vesa
Halava
professori, matematiikka
Linkit
Asiantuntijuusalueet
Laskettavuus
automaatit ja formaaliset kielet
logiikka
sanojen kombinatoriikka
Biografia
Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.
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.
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.
Julkaisut
On simulating Turing machines with matrix semigroups with integrality tests (2024)
Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Codes, Graphs, Coverings, and Identification: Special Issue Honoring the 60-th Birthday of Professor Iiro Honkala (Preface) (2024)
Fundamenta Informaticae
(O2 Muu julkaisu )
Codes, Graphs, Coverings, and Identification: Special Issue Honoring the 60-th Birthday of Professor Iiro Honkala (2024)
Fundamenta Informaticae
(C2 Toimitustyö tieteellisen lehden erikoisnumerolle)
Decision Problems on Copying and Shuffling (2024)
Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time (2023)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Highly Tuneable Photochromic Sodalites for Dosimetry, Security Marking and Imaging (2023)
Advanced Functional Materials
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On bi-infinite and conjugate post correspondence problems (2023)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Certain linear and weakly linear systems of matrix equations over semirings. Applications in a state reduction of weighted automata (2022)
Filomat
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Integer Weighted Automata on Infinite Words (2022)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions (2021)
arXiv.org
(O2 Muu julkaisu )