I am currently employedas a systems administrator in the IT Infrastructure department at Aalborg University.My main responsibility are client and server management together with task and self-service automation.My main tools are Active Directory (AD), System Center Configuration Manager (SCCM) og System Center Orchestrator.
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 Assosciate 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 th 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 specialising 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.