kids encyclopedia robot

Anders P. Ravn facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Anders P. Ravn
Anders in China 2017.jpg
Anders Ravn in China, 2017
Born (1947-10-29)29 October 1947
Died 1 August 2019(2019-08-01) (aged 71)
Citizenship Danish
Alma mater University of Copenhagen
Technical University of Denmark
Known for Duration calculus
Spouse(s) 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

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

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.

kids search engine
Anders P. Ravn Facts for Kids. Kiddle Encyclopedia.