Disputas : Sam Urmian

Avhandlingens tittel

"Width-Based Dynamic Programming for Automated Theorem Proving in Graph Theory"

Opponenter:

1. Universitetslektor Raheleh Jalali, Institutt for informatikk, the University of Bath
2. Førsteamanuensis Noah Fleming, Lund University

Leder av komiteen

Professor Petr Golovach

Disputasleder

Professor Jan Arne Telle

Avhandling

https://nva.sikt.no/ (søk på kandidatens navn). Dersom den ikke er tilgjengelig her, kan den være tilgjengelig på forespørsel til kandidaten.

Åpent for alle interesserte.