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
12:15 Trial lecture
13:15 Public defence
Place: Festsalen (U215), NMBU, Ås
and digital by Zoom. Join the Zoom meeting 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