At the Department of Computer Science at Aalborg University, we conduct world-class research in areas like embedded software systems, AI, data-intensive systems, systems development, Internet of Things, and interaction design. Furthermore, we offer a broad range of study programmes at both bachelor's and master's levels, as well as continued professional development.
October 30, 15:00: Meet Rune Møberg Jacobsen, afterPhD power hour. October 30 & 31: We demonstrate the interactive game Wordle,Water Detention Pond Controller, and UAV Robot Operating System as follows: CLAIRE Water Detention Pond Controller Stormwater detention ponds play a critical role in managing urban runoff and preventing pollutants from entering natural waterways. This demonstrator highlights the effectiveness of a controller synthesized using UPPAAL Stratego, designed to optimize pollutant sedimentation by maximizing water retention time while minimizing the risk of emergency overflows, balancing both safety and efficiency. WordAAL Demonstrator Inspired by the popular word game Wordle, this web-based demonstrator showcases strategies synthesized with UPPAAL Stratego to minimize the number of guesses needed to solve the game under different constraints. Using Partial Observability Markov Decision Processes (POMDP) to model the game, it demonstrates how to optimize decision-making under uncertainty. Grundfos Autonomous UAV Inspection Demonstrator In collaboration with Grundfos, a challenge was presented to master’s students at AAU to make autonomous inspection of technical installations in unknown environments. This demonstrator integrates UPPAAL Stratego with the Robot Operating System (ROS) on a Turtlebot 3 platform, illustrating a framework for combining formal safety verification with reinforcement learning to achieve both safety and optimality in near real-time autonomous UAV operations.