Vesa Halava profile picture
Vesa
Halava
Professor, Mathematics

Contact

+358 29 450 4304
+358 50 320 6267
Vesilinnantie 5
20500
Turku

Links

My webpage
ORCID

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

Sort by:

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
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

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
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Reachability problems (RP 2008) - Preface (2009)

International Journal of Foundations of Computer Science
Halava V, Potapov I
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))

Overlap-freeness in infinite partial words (2009)

Theoretical Computer Science
Halava V, Harju T, Karki T, Seebold P
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Square-free partial words (2008)

Information Processing Letters
Halava Vesa, Harju Tero, Kärki Tomi
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Interaction properties of relational periods (2008)

Discrete Mathematics and Theoretical Computer Science
Halava V, Harju T, Karki T
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Reachability probelms (RP 2007) - Preface (2008)

International Journal of Foundations of Computer Science
Halava V, Potapov I
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))
People search