Vesa Halava
 

    • Professor, 
    Mathematics (Department of Mathematics and Statistics)


vesa.halava@utu.fi

+358 29 450 4304

+358 50 320 6267

Vesilinnantie 5

Turku

Office: 368

Contact by email.

ORCID identifier: https://orcid.org/0000-0003-3633-4902

My webpage

Areas of expertise
computability; automata and formal languages; logic; combinatorics on words

Biography

I am a Professor of Discrete Mathematics and Theoretical Computer Science. 



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.



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. 



Publications
  
Go to first page
  
Go to previous page
  
8 of 8
  
Go to next page
  
Go to last page

Last updated on 12/07/2023 12:30:12 PM