معرفی
Martin Kristjansen is a Researcher in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. He is part of the Distributed, Embedded and Intelligent Systems research group, focusing on real-time systems, model checking, and distributed computing.
His research interests span multiple areas of computer science with a focus on:
- Real-Time Systems and Schedulability Analysis
- Model Checking and Formal Verification using UPPAAL
- Distributed Systems and Multi-core Architectures
- Reinforcement Learning applications in battery management
- Fleet management in noisy environments
- Automata theory and symbolic model learning
Dr. Kristjansen's publication record shows a consistent research trajectory from avionics systems in 2019 to more recent work on stochastic digraph real-time task models in 2024. His work demonstrates a strong focus on applying formal methods to practical engineering problems, particularly in safety-critical systems, with research areas spanning automaton theory (100%), mobile robotics (85%), multicore systems (85%), and performance analysis (85%).
He has been actively involved in significant research projects including:
- STORM_SAFE: Software reliability for critical infrastructures (2024-2027) as a Project Participant
- Digital technologies for Industry 4.0 (2019-2021) as a Project Participant
Dr. Kristjansen collaborates extensively with Professor Kim G. Larsen and other researchers at Aalborg University, contributing to the institution's strong reputation in formal methods and real-time systems research. His work includes two significant datasets related to symbolic timed models and distributed fleet management, demonstrating commitment to research reproducibility.
