Väitös tietotekniikan alalta, DI Olli Saarikivi

2018-02-16 12:00:00 2018-02-16 23:59:59 Europe/Helsinki Väitös tietotekniikan alalta, DI Olli Saarikivi Koneellinen päättely tehostaa ohjelma-analyysia http://cs.aalto.fi/fi/midcom-permalink-1e801072e218bc4010711e8875b9b1a3ce8f241f241 Konemiehentie 2, 02150, Espoo

Koneellinen päättely tehostaa ohjelma-analyysia

16.02.2018 / 12:00
Luentosali T2, Konemiehentie 2, 02150, Espoo, FI

Diplomi-insinööri Olli Saarikivi väittelee perjantaina 16.2.2018 klo 12 Aalto-yliopiston perustieteiden korkeakoulussa. Väitöskirjan nimi on "Symbolic Methods for Transducers and Testing". Väitöskirjassa tutkittiin koneelliseen päättelyyn perustuvia lähestymistapoja ohjelmien käytöksen analyysiin. Työ esittelee sovelluksia tietovirtamuunnosten suorituskyvyn parantamiseen, sekä ohjelmistojen testauksen automatisointiin.

 

Väitöstiedote (pdf, englanniksi)

Vastaväittäjä: Adjunct Professor Rupak Majumdar, Max Planck Institute for Software Systems, Saksa

Kustos: Associate Professor Keijo Heljanko, Aalto-yliopiston perustieteiden korkeakoulu, tietotekniikan laitos

Elektroninen väitöskirja:  http://urn.fi/URN:ISBN:978-952-60-7787-1