معرفی
Mikael Nilsson is a PhD student at Linköping University's Department of Computer and Information Science (IDA), within the Artificial Intelligence and Integrated Computer Systems (AIICS) division. His research focuses on temporal reasoning under uncertainty, planning algorithms, and dynamic controllability verification. He has contributed to advancements in temporal networks and their applications in autonomous systems.
Education: Currently pursuing a PhD in Computer Science at Linköping University.
Research Interests: Mikael's work centers on developing robust methods for planning under temporal uncertainty, with applications in robotics and autonomous systems. His research bridges theoretical foundations (e.g., computational complexity of dynamic controllability) and practical implementations (e.g., mission systems for combat search and rescue).
Publications: His work spans topics like incremental algorithms for dynamic controllability, complexity analysis of planning systems, and AI-enabled mission systems. Recent contributions include studies on uncertainty management in temporal networks.
Labs/Teams: Affiliated with the AIICS division, focusing on interdisciplinary research in artificial intelligence and computer systems.
