Doktorgrad – Prøveforelesning og disputas. Atef Azaiez, Fakultet for realfag og teknologi, forsvarer sin doktoravhandling "Assurance of Safety and Reliability of Robotic Autonomous Systems: Handling Uncertainties Through Model Checking" den 20. november 2026.
Norwegian title of thesis: "Verifisering av sikkerhet og pålitelighet av autonome robotsystemer: håndtere usikkerhet gjennom Model sjekking"
Prescribed subject of the trial lecture: "Parameterized Model Checking"
Time and place for the trial lecture and the public defence:
20 November 2026
10:15 Trial lecture
12:15 Public defence
Place: Festsalen (U215), Utbygningen, NMBU, Ås
Evaluation committee:
First opponent: Professor Louise Dennis, University of Manchester, UK
Second opponent: Assistant professor Shankar Deka, Aalto University, Finland
Committee coordinator: Professor Ibrahim Abdelfattah Abdelhameed, REALTEK, NMBU
Main supervisors: Associate Professor Alireza David Anisi, REALTEK, NMBU
Co-supervisors: Associate Professor Weria Khaksar, REALTEK, NMBU
The doctoral thesis is available for public review. If you would like access to it, please send an email to phd-realtek@nmbu.no