Curriculum Vitae

Personal data og education


Research Areas and Experience

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).

Research Administration

Member of Expert Group JSR 302: Safety Critical Java Technology, 2010.
Chair for International Research Evaluation of Agro Technology at Danish Institute of Agricultural Sciences, 2005.
Member of Board for Center for Integrated Software Systems (CISS), Aalborg University, 2003-2006.
Member of Board of Danish Center for Informatics in Agricultural Research (Dina), 2001-2008.
Member of Steering Committee for Hybrid Systems: Computation and Control 2001-2004.
Director of Center for AgroTechnology (CJT) at Aalborg University, 1999-2005.

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.). 


Member Dansk Selskab for Datalogi 1972--, ACM 1983--, Life Member IEEE Computer Society.
Emeritus Member IFIP Working Group 2.2 (Formal Description of Programming Concepts), member since 2002.

Honurs, Awards etc.

Knight of the Order of Dannebrog, 2015.
Brinch's Honorary Award, 1996.
I have since 1984 received several grants from the National Technical Research Council (STVF), from the ESPRIT programmes of the European Union, and from private foundations.
Last update: 2017-02-09