Special Consultant at Aalborg University

I am currently working as a Special Consultant at the Department of Computer Science, Aalborg University.

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.