Research
My research interests are in several areas of computer science. In some way or another my research focuses on theoretical and practical aspects of semi-automatic debugging of software and software systems using model checking and other formal methods. This covers modeling languages, algorithms and data structures for analysing and representing huge state spaces of complex systems and work on parallel and/or distributed systems. More recently, I have started to look at grid technology and planning.
My work
I hold a position as an associate professor at the department of computer science at Aalborg University, Denmark. My daily work is in the distributed system and semantics group, although there is a huge overlap between that group and the center for embedded software systems.