Anders P. Ravn

Danish computer scientist (1947-2019)

Professor Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Danish computer scientist.[2][3]

Anders P. Ravn
Anders in China 2017.jpg
Anders Ravn in China, 2017
Born(1947-10-29)29 October 1947
Died1 August 2019(2019-08-01) (aged 71)[1]
CitizenshipDanish
Alma materUniversity of Copenhagen
Technical University of Denmark
Known forDuration calculus
Spouse(s)Annemette Lind
AwardsBrinch's Honorary Award (1996)
Order of the Dannebrog (2015)
Scientific career
FieldsComputer science, software engineering, formal methods
InstitutionsUniversity of Copenhagen
Technical University of Denmark
Aalborg University
InfluencesC.A.R. Hoare
Zhou Chaochen
InfluencedZhiming Liu
Websitepeople.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.

ReferencesEdit

  1. "Anders Peter Ravn 1947 – 2019". afdoede.dk. Denmark. Retrieved 6 August 2019.
  2. "Anders Peter Ravn". Berlingske. Denmark. 6 August 2019.
  3. "Anders Peter Ravn". Politiken. Denmark. 6 August 2019.