PhD-grad – Prøveforelesning og disputas
Mustafa Adam, Fakultet for realfag og teknologi (REALTEK), skal forsvare sin doktoravhandling "Reliability and Safety of Robotic Autonomous Systems from Offline Model Checking to Online Verification" fredag 21. august 2026.
Norwegian title of thesis: "Pålitelighet og sikkerhet i autonome robotsystemer fra offline modellkontroll til online verifikasjon"
Prescribed subject of the trial lecture: "Runtime Verification in the Era of Agentic AI Systems"
Time and place for the trial lecture and the public defence:
21 August 2026
10:15 Trial lecture
12:15 Public defence
Place: SKP Auditorium, Kirkeveien 16, NMBU, Ås
and digital by Teams. Teams link here.
Evaluation committee:
First opponent: Assistant professor Angelo Ferrando, University of Modena and Reggio Emilia, Italy
Second opponent: Associate Professor Polina Kurtser, University of Umeå, Sweden
Committee coordinator: Professor Ibrahim Abdelfattah Abdelhameed, REALTEK, NMBU
Main supervisors: Associate Professor Alireza David Anisi, REALTEK, NMBU
Co-supervisors: Professor Ana Cavalcanti, University of York, UK
The doctoral thesis is available for public review. If you would like access to it, please send an email to phd-realtek@nmbu.no