Aalborg 1999 –: I am studying the overall software engineering process in order to understand the issues in developing embedded systems. A particular application area is the interface to control theory and control engineering, because it is a demanding area in which to test development methodologies for embedded systems.
IT(ID)-DTU 1984 – 1998: From May 1989 - October 1995, I participated in a ESPRIT Basic Research Action funded project ProCoS (Provably Correct Systems). My work concentrated on establishing case studies and understanding real-time issues. During a one year stay at the Programming Research Group at Oxford University (Sept. 89 - June 90), I worked on specification of time related properties. From 1992 to 1995 I was site leader for the ProCoS project. At ID-DTU I initiated work on specification methods for dependable systems, and design methodology for embedded systems.
DIKU 1976-1984: My interest was systems programming languages. My contributions were in further development of the Concurrent Pascal system.
A/S Regnecentralen: I managed the development group for systems software for a minicomputer- based special purpose system, which were sold in Northern and Central Europe (over 1000 delivered systems).
Program chair 6th Workshop on Formal Languages and Analysis of Contract-Oriented Software, Bertinoro, September 2012.
Program chair 9th International Workshop on Java Technologies for Real-Time and Embedded Systems,
York, August 2011.
Program co-chair 7th International Symposium onAutomated Technology for Verificiation and Analysis,
Macau, October 2009.
Program co-chair 5th Symposium and School on Formal Techniques in Real-Time
and
Fault-Tolerant Systems, Lyngby, September 1998.
Program chair 10th Euromicro Real-Time Workshop, Berlin, June 1998.
Director Euromicro and member of Steering Committee for Real-Time Systems
Workshops, 1994-1999.
Site leader and tutorial coordinator for the ProCoS project 1992-1995.
Member of committee for Danish Research programme `DART: Design, Analysis and Reasoning about Tools', 1991-1994.
Secretary for commission on Informatics, Danish Technical Research Council 1987; it formulated the second Danish Informatics Research programme (PIFT) 1989. Consultant at its interim evaluation 1993.
Member of program committees for conferences and workshops.
In recent years reviewer for EU programmes, NFR (Norway), EPSRC (GB), NCERC (Canada), Teknisk Forskningsråd (Sweden), STW (The Netherlands). Journals (IEEE TSE, FACS, Sc. Comp. Progr., etc.).