Skriv här det du söker efter!

Disputation i datavetenskap

Disputation i datavetenskap

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.

 

Alla evenemang