Special Consultant at Aalborg University
I am currently employed as an IT Technology Architect in the IT Support department at Aalborg University. My main responsibilities are client architecture, together with some organizational architecture. I'm part of the support leadership team, and technical lead for our Platform group, responsible for 2nd level support for our IT platforms (Windows + MacOS) as well as LOB and general software applications.
I hold a masters degree in Computer Science from Aalborg University, with a specialization in formal verification methods and model checking. During my studies and onwards I have done research in the area of real-time model checking techniques with specific interests in discrete time properties and model transformation. Most of my work is done in collaboration with Professor Kim G. Larsen and Professor Jiri Srba. As part of this work, I am a co-creator of the model tool TAPAAL, for verification of Timed-Arc Petri Nets. You can read more about my research on the research page.
Besides my position at the university, I am IT-manager (unpaid) in Danish Baptist Guide and Scout Association and is working as a freelance IT-consultant specializing in web development, typo3 and system administration.
In my spare time, I am working on a number of different open source projects and is a voluntary scout leader in DBS - Aalborg 2.