Anders P. Ravn

Source: Wikipedia, the free encyclopedia.
Anders P. Ravn
Anders Ravn in Chongqing, China
Born(1947-10-29)29 October 1947
Caracas, Venezuela
Died1 August 2019(2019-08-01) (aged 71)
Copenhagen, Denmark
CitizenshipDanish
Alma materUniversity of Copenhagen
Technical University of Denmark
Known forDuration calculus
SpouseAnnemette 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
Websitepeople.cs.aau.dk/~apr

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

Anders P. Ravn was born in 1947 in

Computer Science and Mathematics from the University of Copenhagen in 1973 and a Doctor of Technology (Dr.Tech.) degree in Computer Science from the Technical University of Denmark in 1995.[3]

Between 1969 and 1973, Anders Ravn was a

emeritus professor
.

Anders Ravn in China, 2017

Ravn specialized in research into

real-time systems
.

He became a member of the Dansk Selskab for Datalogi (DSfD) in 1972, the

IFIP Working Group 2.2
(covering the Formal Description of Programming Concepts) from 2002.

Anders Ravn received Ulrik and Marie Brinch's honorary award in 1996.[3] He was honoured as a Knight of the Order of the Dannebrog in 2015.[3][5] He married Annemette Lind on 31 August 1973 and they had two children.[1][2] Ravn died in Copenhagen on 1 August 2019.[6][7]

Selected publications

Ravn produced many research papers[5] and edited several books:[8]

  • doi:10.1016/0020-0190(91)90122-X
    .
  • Grossman, Robert L.;
    S2CID 199561
    .
  • Ravn, Anders P.; Rischel, Hans, eds. (1998). Formal Techniques in Real-Time and Fault-Tolerant Systems.
    S2CID 42726018
    .
  • ISBN 978-3-642-04760-2
    .

References

  1. ^ a b c "Anders Peter Ravn". Berlingske. Denmark. 6 August 2019.
  2. ^ a b c "Anders Peter Ravn". Politiken. Denmark. 6 August 2019.
  3. ^ a b c d e f Ravn, Anders P. "Curriculum Vitae". Denmark: Aalborg University. Retrieved 3 August 2019.
  4. ^ "Anders P. Ravn". DBLP. Retrieved 3 August 2019.
  5. ^ a b "Curriculum Vitae Anders P. Ravn". Denmark: Aalborg University. Retrieved 3 August 2019.
  6. ^ "Anders Peter Ravn 1947 – 2019". afdoede.dk. Denmark. Retrieved 6 August 2019.
  7. doi:10.13140/RG.2.2.13481.62560
    .
  8. Amazon.co.uk
    . Retrieved 3 August 2019.

External links

Wikimedia Commons has media related to Anders P. Ravn.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Anders_P._Ravn&oldid=1179918020"