Kenneth Yrke Jørgensen

PhD Fellow, Department of Computer Science - Aalborg University

I am currently working as a PhD fellow (student) in the Distributed and Embedded Systems unit at Department of Computer Science, Aalborg University. My primary researching area is real-time model checking techniques with specific interests in discrete time properties and model transformation.
Most of my work is done in collaboration with my thesis advisor Professor Kim G. Larsen and Assosciate Professor Jiri Srba. As a part of my postgraduate work I was one of the creators of the model checking tool TAPAAL, for verification of Timed-Arc Petri Nets.

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.