Rasmus Grønkjær Tollund holds a Master's degree in Computer Science from our department.

Your research area and focus?

- My research is within formal methods, and particularly, my Master's thesis was on generating schedules for optimal infinite behaviour in real-time systems. In my studies, I expect further to study problems of synthesis and scheduling for similar systems.

Projects you are/will be involved in?

- I am part of the S4OS (Scalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems) project.

Why did you choose to continue your career at AAU?

- I really enjoyed my studies here, and I hope to continue with exciting research.