Professori Vesa Halava piti professoriluentonsa 9.10.2019 otsikolla Kieli ja totuus. Halava on keskittynyt tutkimuksessaan laskettavuuteen (erityisesti ratkeamattomiin ongelmiin), automaatteihin ja formaaleihin kieliin sekä laskettavuuden perusteisiin ja logiikkaan.
