Anders P. Ravn
Professor Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Danish computer scientist.[2][3]
Anders P. Ravn | |
---|---|
![]() Anders Ravn in China, 2017 | |
Born | |
Died | 1 August 2019 71)[1] | (aged
Citizenship | Danish |
Alma mater | University of Copenhagen Technical University of Denmark |
Known for | Duration calculus |
Spouse | Annemette Lind |
Awards | Brinch's Honorary Award (1996) Order of the Dannebrog (2015) |
Scientific career | |
Fields | Computer science, software engineering, formal methods |
Institutions | University of Copenhagen Technical University of Denmark Aalborg University |
Influences | C.A.R. Hoare Zhou Chaochen |
Influenced | Zhiming Liu |
Website | people.cs.aau.dk/~apr |
Between 1969–73, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen (DIKU). From 1972–76, he was a systems programmer on minicomputers at the early Danish computer company A/S Regnecentralen.
He returned to academia and rose from assistant professor (1976–80) to associate professor (1980–84) at DIKU.
Ravn died on 1 August 2019 in Copenhagen at the age of 71.
References
- "Anders Peter Ravn 1947 – 2019". afdoede.dk. Denmark. Retrieved 6 August 2019.
- "Anders Peter Ravn". Berlingske. Denmark. 6 August 2019.
- "Anders Peter Ravn". Politiken. Denmark. 6 August 2019.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.