Anders P. Ravn

Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Danish computer scientist.

Anders P. Ravn was born in 1947 in Caracas, Venezuela, the son of Niels and Henny (Sønder) Ravn.

Between 1969 and 1973, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen (DIKU). He was a Research Professor in the Department of Computer Science at Aalborg University (1999–2004), before being appointed Professor of Computing Science there (2004–16). He then retired, becoming an emeritus professor.

Ravn specialized in research into formal methods, especially for embedded systems and hybrid systems. In particular, he worked with Zhou Chaochen and Tony Hoare on the development of duration calculus for real-time systems.

He became a member of the Dansk Selskab for Datalogi (DSfD) in 1972, the Association for Computing Machinery (ACM) in 1983, and was a Life Member of the IEEE Computer Society. He married Annemette Lind on 31 August 1973 and they had two children.

Selected publications Ravn produced many research papers