26.8.2022
Tohtorinväitös tietojenkäsittelytieteen alalta
MSc Masoumeh Parsan väitöskirja tietojenkäsittelytieteen alalta esitetään julkisesti tarkastettavaksi Åbo Akademin luonnontieteiden ja tekniikan tiedekunnassa.
Väitöskirjan otsikkona on Diagrammatic Languages and Formal Verification: A Tool-Based Approach
Väitöstilaisuus järjestetään perjantaina 2. syyskuuta 2022 klo 13 osoitteessa osoitteessa Auditorio XX, Agora. Vesilinnantie 3, Turku. Vastaväittäjänä toimii professori Philipp Rümmer, Regensburgin yliopisto, Saksa ja kustoksena dosentit Marina Waldén, Åbo Akademi.
Masoumeh Parsa on syntynyt 1986, Teheranissa, Iranissa. Hän on tavoitettavissa puhelimitse numerosta
+358 44 974 7123 ja sähköpostitse osoitteesta masoumeh.parsa@abo.fi.
Väitöskirja on luettavissa Åbo Akademin julkaisuarkistossa Doriassa.
Tästä linkistä voit ladata lehdistökuvan väittelijästä.