M.Sc. Masoumeh Parsa disputerar i datavetenskap med avhandlingen Diagrammatic Languages and Formal Verification: A Tool-Based Approach.

Opponent är professor Philipp Rümmer, University of Regensburg, Tyskland och kustos är docent Marina Waldén, Åbo Akademi.