Disputasdato
Disputas : Sam Urmian
Main content
Avhandlingens tittel
"Width-Based Dynamic Programming for Automated Theorem Proving in Graph Theory"
Opponenter:
- Universitetslektor Raheleh Jalali, Institutt for informatikk, the University of Bath
- 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.
Photo:
Faezeh Yousefian
