Vesa Halava

Professor of Discrete Mathematics and Theoretical Computer Science
Department of Mathematics and Statistics

Research

My research interests are decidability questions in different computational models (automata theory, semi-Thue systems, Turing machines etc.); decidability questions on integers matrices; foundations of mathematics and computer science; logic; combinatorics on words. At the moment I am focusing on decidability questions and foundations.


Contact

Email:vesa(dot)halava(at)utu(dot)fi
Office:Quantum 3rd floor, room 368
Phone:+358 (0)50 320 6267 / + 358 (0)29 450 4304
Fax: Fax: +358 (0)2 231 0311
Postal address:Department of Mathematics and Statistics
20014 University of Turku
Finland

Publications and CV

* dblp * Google Scholar * ORCID * ResearchGate * Full list (pdf) * Short CV (pdf) *


Teaching

2019-2020 (periods I-IV)
I-II Analyysi I (mat)
III Logic/Logiikka
IV Advanced course on Logic/Logiikan jatkokurssi
Self-study: Matematiikan historia

Students

Current PhD and PhLic students
Esa Sahla
Teemu Pirttimäki
Harto Saarinen
Former PhD and PhLic students
Tomi Kärki
Reino Niskanen

Events

The Joint Quest for Absolute Infinity and the Continuum – From Cantor to Woodin, May 2019 (Turku)
5th Russian-Finnish Symposium on Discrete Mathematics (RuFiDiM V), May 2019 (Veliky Novgorod)
13th Conference on Reachability Problems, September 2019 (Brussels)

Last Modified: May 2019