Vesa Halava profiilikuva
Vesa
Halava
professori, matematiikka

Ota yhteyttä

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

Asiantuntijuusalueet

Laskettavuus
automaatit ja formaaliset kielet
logiikka
sanojen kombinatoriikka

Biografia

Olen diskreetin matematiikan ja teoreettisen tietojenkäsittelytieteen professori.

Opetus

Tällä hetkellä opetan kahta logiikan kurssia, aineopintokurssia Logiikka ja Logiikan jatkokurssi -nimistä erikoiskurssia.

Lisäksi opetan ensimmäisen vuoden matematiikan opiskelijoille Analyysi I kurssia.

Tutkimus

Päätutkimusalani on laskettavuus, erityisesti ratkeamattomat ongelmat automaattien ja formaalisten kielten teoriassa ja kokonaislukumatriisien puoliryhmissä. Viime aikoina olen keskittynyt myös laskettavuuden ja laskenna perusteiden tutkimukseen, ja siihen liittyvään matematiikan perusteiden tutkimukseen -- logiikkaan ja joukko-oppiin. Olen julkaissut myös sanojen kombinatoriikasta.

Julkaisut

Järjestä:

On Robot Games of Degree Two (2015)

International Conference on Language and Automata Theory and Applications
Vesa Halava, Reino Niskanen, Igor Potapov
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))