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
Evaluation committee
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
Supervisors:
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.