Anders P. Ravn
Professor Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Danish computer scientist.[2][3]
Anders P. Ravn | |
---|---|
Born | |
Died | 1 August 2019[1] | (aged 71)
Citizenship | Danish |
Alma mater | University of Copenhagen Technical University of Denmark |
Known for | Duration calculus |
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. Denmark. 6 August 2019.
- ↑ Anders Peter Ravn. Denmark. 6 August 2019.