Anders P. Ravn
Anders P. Ravn | |
|---|---|
| Born | Template:Birth date Caracas, Venezuela |
| Died | August 1, 2019 (aged 71) Copenhagen, Denmark |
| Occupation(s) | Computer scientist, professor |
| Years active | 1969–2016 |
| Known for | Formal methods in embedded and hybrid systems; duration calculus |
Anders Peter Ravn (29 October 1947 – 1 August 2019) was a prominent Danish expert in computer science.
Originally born in Caracas, Venezuela, Ravn relocated to Denmark in 1948. He completed his Master of Science degree in computer science and mathematics at the University of Copenhagen in 1973, followed by a Doctor of Technology in computer science from the Technical University of Denmark in 1995.
Between 1969 and 1973, Ravn served as a teaching assistant within the Department of Computer Science (DIKU) at the University of Copenhagen. He then gained experience as a systems programmer at A/S Regnecentralen, a Danish computing firm, from 1972 to 1976. Subsequently, he returned to academia, holding positions as assistant professor (1976–1980) and associate professor (1980–1984) at DIKU. During 1982–1983, he was a visiting researcher at IBM’s Thomas J. Watson Research Center. Later, he joined the Department of Computer Science at the Technical University of Denmark, where he was a lecturer (1984–1989) and then reader (1989–1999). Throughout this timeframe, Ravn also occupied adjunct and visiting roles at institutions such as Oxford University and the University of Kiel. He contributed to the European Union’s ESPRIT ProCoS initiative focusing on Provably Correct Systems. From 1999 until his retirement, he held the titles of Research Professor (1999–2004) and Professor of Computing Science (2004–2016) at Aalborg University, eventually becoming an emeritus professor.
Ravn’s research concentrated on formal methods applied to embedded and hybrid systems. Notably, he collaborated with Zhou Chaochen and Tony Hoare on developing duration calculus for real-time systems.
He was affiliated with Dansk Selskab for Datalogi since 1972, joined ACM in 1983, held Life Membership with the IEEE Computer Society, and participated in IFIP Working Group 2.2 concerning Formal Description of Programming Concepts beginning in 2002.
In recognition of his contributions, Ravn was awarded the Ulrik and Marie Brinch honorary prize in 1996 and was appointed Knight of the Order of the Dannebrog in 2015. He married Annemette Lind in 1973, with whom he had two children. Anders P. Ravn passed away in Copenhagen on 1 August 2019.
Selected publications
Ravn produced numerous scholarly articles and edited several key volumes:
- Zhou Chaochen, C.A.R. Hoare, and Anders P. Ravn, A calculus of durations, Information Processing Letters, vol. 40, no. 5, pp. 269–276, 1991.
- Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel (eds.), Hybrid Systems, Springer-Verlag, 1993.
- Anders P. Ravn and Hans Rischel (eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, 1998.
- Zhiming Liu and Anders P. Ravn (eds.), Automated Technology for Verification and Analysis, Springer-Verlag, 2009.
External links
- Home page
- Anders P. Ravn on ResearchGate
- Anders P. Ravn publications index by DBLP
- Anders P. Ravn on the Danish National Research Database
- 1947 births
- 2019 deaths
- Scientists from Caracas
- University of Copenhagen alumni
- Technical University of Denmark alumni
- Danish computer programmers
- Danish computer scientists
- IBM employees
- Academic staff of the University of Copenhagen
- Academic staff of the Technical University of Denmark
- Academic staff of Aalborg University
- Formal methods people
- Knights of the Order of the Dannebrog