معرفی
Brian Nielsen is an Associate Professor at Aalborg University's Department of Computer Science, under The Technical Faculty of IT and Design. His research focuses on Distributed Systems, Embedded Systems, Real-Time Systems, Model Checking, IoT Networks, and Autonomous Vehicles. He has been actively involved in projects such as domOS (operating system for smart buildings), FED (Flexible Energy Denmark), and compositional verification of multicore avionics systems.
His work emphasizes model-based validation, formal methods, and industrial applications, particularly in safety-critical systems. Recent research highlights include energy-efficient motion planning for autonomous vehicles, comparative analysis of network simulators, and sigfox-based IoT modeling. He has received awards including the Application Coordinator Pool and START funds (both in 2007).
- Key Projects: domOS, FED, compositional verification of multicore systems
- Grants: Multiple EU-funded projects (e.g., Horizon Europe) and industry collaborations
- Awards: Application Coordinator Pool (2007), START funds (2007)
His publications span over 80 articles, with a focus on real-time systems, IoT interoperability, and model-driven development. He has advised two PhD students and has been actively involved in organizing international conferences and workshops.
