24.10. 2014 Ict

TUCS täyttää tänä syksynä 20 vuotta – juhlaluennon esitelmöitsijänä arvostettu professori Joseph Sifakis

TUCS eli Turun tietotekniikan tutkimus- ja koulutuskeskus viettää lokakuussa 20-vuotisjuhliaan. TUCSin ”Distinguished Lecture Series” -luentosarjaan lukeutuneen juhlaluennon esitelmöitsijänä oli professori Joseph Sifakis EPFL yliopistosta (École Polytechnique Fédérale de Lausanne) Sveitsistä.

Professori Joseph Sifakis (vas.) keskusteli hetkeä ennen juhlaluentoa TUCSin johtajan, Åbo Akademin It-laitoksen johtaja, professori Johan Liliuksen (kesk.) ja TUCSin johtokunnan puheenjohtaja, Turun yliopiston It-laitoksen johtaja, professori Tapio Salakosken kanssa.

TUCS (Turku Center for Computer Science, Turun tietotekniikan tutkimus- ja koulutuskeskus) perustettiin 1994 koordinoimaan ja harjoittamaan tutkimusta ja opetusta ict-alalla Turun Yliopistossa ja Åbo Akademissa. TUCSin piirissä toimii yli 250 henkilöä ja TUCSin koordinoimien koulutusohjelmien puitteissa opiskelee yli 2000 opiskelijaa.

Lokakuun juhlallisuuksiin sisältyi ” TUCS Distinguished Lecture Series” -luentosarjassa vierailleen professori Joseph Sifakisin esitelmä “From Programs to Systems – Building a Smarter World”.

Professori Sifakikselle (syntynyt 1946) myönnettiin A.M. Turing -palkinto vuonna 2007 mallintarkastusmenetelmän kehittämisestä. Menetelmä parantaa ict-tuotteiden laatua. Tämän tapaiset menetelmät ovat tätä nykyä päivittäisessä käytössä yrityksissä kuten Intel, Microsoft sekä lento- ja avaruusteollisuudessa suunniteltaessa erittäin laatukriittisiä osia.

A.M. Turing -palkinto, jota usein kutsutaan ict-alan Nobeliksi, on vuosittainen tunnustuspalkinto joka jaetaan henkilölle tai henkilöille jotka ovat tehneet vahvoja panostuksia ict-alalla tai vieneet alaa voimakkaasti eteenpäin. Palkinnon jakaa ACM Association of Computing Machinery (Tietojenkäsittelyn yhdistys, perustettu 1946 New Yorkissa).

Professori Sifakis on myös VERIMAG-tutkimuskeskuksen perustaja ja pitkäaikainen johtaja. Tämä Grenoblessa sijaitseva keskus on keskeinen toimija eurooppalaisen sulautettujen järjestelmien tutkimuksen ja kehityksen piirissä. Sulautettujen järjestelmien osaaminen on myös perinteinen vahva kilpailutekijä suomalaiselle teollisuudelle. Sifakiksen tutkimusryhmän kehittämiin käytännön sovelluksiin kuluu mm. SCADE-työkalu, jota on jo 15 vuoden ajan käytetty AIRBUS-yrityksessä lentokoneiden turvallisuuskriittisten järjestelmien kehittämisessä.

Vuodesta 1998 professori Sifakis on aktiivisesti pyrkinyt edistämään sulautettujen järjestelmien kehittymistä omaksi tutkimus- ja kehitysalueekseen. Professori Sifakis on aktiivisesti osallistunut Euroopan sulautettujen järjestelmien teollisuusyhdistyksen (ARTEMIS) perustamiseen.