Home page of Anders P. Ravn

A picture of me Department of Computer Science
Aalborg University
Selma Lagerlöfs vej 300
DK-9220 Aalborg East
Denmark
Office: 1.2.12
Email : apr"at"cs.aau.dk
PHONE : +45 9940 8887 (Direct)
FAX   : +45 9940 0510

Employment

I am Professor of Computing at the Department of Computer Science, Aalborg University. I work in the Distributed Systems and Semantics Unit and am also associated with the  CISS center within the Faculty of Engineering and Science.


Research

My broad interest is methods for development of embedded systems, in particular the engineering of software for such systems. I believe that software engineering, like other more mature engineering disciplines, shall have a foundation in mathematical theories and then explain by prescriptions or methods, how the theories are applied to solve classes of problems.

I spend quite some time investigating industrial cases in order to learn more about the issues. In this context, I am very interested in understanding how formal development methods may support. hard real-time applications and component based technologies

Topics that spring from this interest are contracts for component based systems and contracts in service based systems.

I have also worked on the foundations for description of real time properties by means of Duration Calculus - a class of interval logics. This theory has been tested successfully on a variety of case studies.

Hard real-time systems are often found in complex control systems. Thus I take an interest in Hybrid Systems, which combine non-trivial discrete changes with continuous evolutions.

I am active in the ARTIST2 Network of Excellence within the cluster on Real-Time Components and in the national projects MoDES (Model Driven Development of Intelligent Embedded Systems) and DaNES (Danish Network of Intelligent Embedded Systems).

I am also in the Nordic project on Contracs-Oriented Software Development for the Internet (COSoDIS). And I take part in the development of Refinement of Component and Object Systems (rCOS).

Work related links


Last update: 2009-06-02