As of September 1, Nicolaj Østerby Jensen has joined the department as a PhD Student in the DEIS group. Nicolaj Østerby Jensen has a Bachelor's and Master's degree in computer science from this department.
PROJECTS YOU ARE/WILL BE INVOLVED IN?
I will be participating the S4OS project funded by Willum Fonden. In this project we develop new scalable methods to analyze and synthesize models and strategies of cyber-physical systems. These enable us to make optimal strategies that also adheres to various specification, resulting in both safe and efficient systems.
My focus will be on either multi-agent systems and eventually synthesis thereof, or on statical analysis of the verification tool, UPPAAL, and its various expressions. I have yet to decide what is most interesting.
WHY DID YOU CHOOSE TO CONTINUE YOUR CAREER AT AALBORG UNIVERSITY?
I have always enjoyed the theoretical and mathematical part of Computer Science, and I realized that the university would be the ideal way to continue working with these aspects. Naturally, I gravitated towards Aalborg University, where I have been enjoying studying the last five years.
FUN AND OTHER FACTS?
I am always down to play boardgames. In my spare time, I design games and have participated in multiple game jams.