Ph.d.-forsvar ved Mai Lise Ajspur, CBIT
Mai Lise Ajspur forsvarer sin ph.d.-afhandling: Tableau-based decision procedure for epistemic and temporal epistemic logics
Torsdag d. 31. oktober 2013 kl. 9.00 - 12.00 i lokale 43-3.29.
Bedømmelsesudvalg:
Torben Braüner, lektor, CBIT, Roskilde Universitet (formand)
Renate Schmidt, Associate Professor, School of Computer Science, University of Manchester
Thomas Bolander, lektor, DTU Compute, Danmarks Tekniske Universitet
Ordstyrer:
Keld Bødker, ph.d.-skoleleder, CBIT, Roskilde Universitet
Vejleder:
John Gallagher, professor, CBIT, Roskilde Universitet
Efter forsvaret er CBIT vært ved en reception.
Læs mere og find afhandlingen her: www.ruc.dk/institutter/cbit/nyheder/vis/article/phd-defence-by-mai-lise-ajspur/back/institut-for-kommunikation-virksomhed-og-informationsteknologier/