Vesa
Halava
Professor, Mathematics
Links
Areas of expertise
computability
automata and formal languages
logic
combinatorics on words
Biography
I am a Professor of Discrete Mathematics and Theoretical Computer Science.
Teaching
I teach two course in Logic, basic course and advanced level course. I also teach Analysis I for (the first year) students of mathematics.
Research
My main field of research is in the field of Computability, more precisely on undecidable problems in automata and formal langauges and in the semigroups generated by integer matrices. Recently, I have also focused on the Foundations of Computation and related issues in the Foundations of Mathematics -- in Logic and Set Theory. I have also published articles in Combinatorics on Words.
Publications
Decision Problems on Copying and Shuffling (2024)
Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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)
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ä )
Integer Weighted Automata on Infinite Words (2022)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
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))
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions (2021)
arXiv.org
(O2 Muu julkaisu )