Eilif Hjelseth, Department of Mathematical Sciences and Technology, will defend his PhD thesis: "Foundations for BIM-based Model Checking Systems - Transforming Regulations into Computable Rules in BIM-based Model Checking Systems", on 6 November 2015.
Norwegian title of PhD thesis
"Prinsipper for BIM-basert model sjekking. Omforming av bestemmelser i regelverket til digitaliserte regler i BIM-baserte systemer for modellsjekking"
Prescribed subject of the trial lecture
"Interoperability aspects of Rule-Based Code Compliance Checking: Towards an alignment of the Global Efforts of Regulatory Aspects in the Building Industry"
Time and place for the trial lecture and the public defence
Friday 6 November 2015 at Vitenparken, Fredrik A. Dahlsvei 8, 1430 ÅS
11:00 Trial lecture
12:00 Lunch break
13:00 Public defence
First opponent: Associate Professor Jan Karlshøj, Technical University of Denmark (DTU)
Second opponent: Associate Professor Jakob Beetz, Eindhoven University of Technology, The Netherlands
Coordinator: Associate Professor Leif Daniel Houck, Department of Mathematical Sciences and Technology, NMBU
Professor Thomas Kringlebotn Thiis, Department of Mathematical Sciences and Technology, NMBU (Main supervisor)
Professor John Petter Langdalen, Department of Mathematical Sciences and Technology, NMBU (Co-supervisor)
Professor Jeffery Wix, (passed away), Salford University, Manchester (Co-supervisor)
Professor Tor Guttorm Syversten, Norwegian University of Science and Technology (Co-supervisor)
The doctoral thesis is available for public review at the NMBU library.
Thesis number 2015:54, ISSN 1894-6402, ISBN 978-82-575-1294-1.