Professori Kolaitiksen vierailuluento
Suomalaisen tiedeakatemian ulkomaiseksi jäseneksi tänä vuonna kutsuttu matematiikan professori Phokion Kolaitis piti tiistaina 11.9. vierailuluennon Turun yliopistossa.
Kolaitiksen teoreettiseen tietojenkäsittelyoppiin kuuluva luento käsitteli algoritmeja reunaehto-ongelmien ratkaisemisessa. Kolaitis toi luennossaan esille tapuksia, joissa ongelmiin voidaan saada nopea algoritminen ratkaisu. Luento oli samalla osa Suomen matemaattisen yhdistyksen algoritmeja ja diskreettiä matematiikka käsittelevää kansainvälistä vierailuluentosarjaa.
Professori Kolaitis toimii professorina Kalifornian Valtionyliopistossa (University of California at Riverside) sekä IBM:n tutkimuskeskuksen johtajana San Josessa. Hän on johtavia tutkijoita logiikan ja tietojenkäsittelyn teorian alalla. Hän toimi mm. Turussa kesällä järjestetyn kongressin Logic in Computer Science pääjärjestäjänä.