Aarhus University Seal / Aarhus Universitets segl

Beidi Li

PhD Student

Beidi Li



My main research interest is the digitalization in the construction industry in the light of development in the AI discipline Knowledge Representation and Reasoning (KRR).

I hold a Master’s Degree in Civil and Architectural Engineering from KTH, Sweden and a Master’s Degree in Mathematics from École Centrale Paris, France.

Previously I have worked with Building Energy Simulation and the integration of Internet of Things (IoT) with Building Information Modelling (BIM) in a research setting. I have industrial experiences in the field of Life-Cycle Assessment in a Bordeaux-based consultancy company



Project title: An AI-based system for health and safety constraint checking in large public buildings


Project description:

The wellbeing of occupants in the built environment has become a rising issue in today’s society. Primary user concerns in large-scale public buildings include privacy, accessibility, functionality, security, health and safety, etc.

However, modelling dynamic, multifaceted human perception and locomotion often requires complex, specific tools that lack automation and verifiability.

Therefore, my Ph.D is aiming at formally representing and reasoning about occupants’ experiences and behavior in a transparent, traceable, and scalable way while providing interoperability with existing approaches and standards such as Building Information Modelling (BIM) and Industry Foundation Classes (IFC).

Specifically, I propose to extend the declarative logic programming framework Answer Set Programming (ASP) with spatio-temporal ontologies to natively support in-depth architectural analysis. Using spatial artefacts – semantically meaningful spaces carrying information about human perception, cognition, and behavior - I propose an evidence-based modelling of human-centric concepts such as vision, sound, wayfinding, egress, crowds, etc. Moreover, I intend to incorporate a series of specialized optimization techniques directly within the ASP reasoning engine to provide a robust, reliable, and portable framework for checking spatial consistencies.

I am currently investigating the automatic compliance checking of various descriptive building and construction codes including the Danish Building Regulations (BR18), the New Zealand Building Code, and the German construction safety code on Fall Protection B100 (Absturzsicherungen auf Baustellen).

My Ph.D project is funded by the Independent Danish Research Fund (DFF) and supervised by Asst. Prof. Carl Peter Leslie Schultz and Prof. Peter Gorm Larsen.

I am currently doing a research exchange within the Chair of Computational Modeling and Simulation at Technical University of Munich, led by Prof. Dr.-Ing. André Borrmann

View all (8) »

View all (1) »

ID: 133802053