page_title: Anders P. Ravn
hierarchical_section_title: Anders P. Ravn
caption_attribution_description: English: Prof., Dr.techn. Anders Peter Ravn [1947-2019]
context_page_description: Anders Peter Ravn was a Danish computer scientist.
  Anders P. Ravn was born in 1947 in Caracas, Venezuela, the son of Niels and Henny Ravn. He arrived in Denmark in 1948. Ravn received a Master of Science degree in Computer Science and Mathematics from the University of Copenhagen in 1973 and a Doctor of Technology degree in Computer Science from the Technical University of Denmark in 1995.
  Between 1969–73, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen. 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 to associate professor at DIKU. During 1982–3, he was a visiting scientist at IBM's Thomas J. Watson Research Center in Yorktown Heights, New York, United States. He joined the Department of Computer Science at the Technical University of Denmark as a lecturer followed by reader in the Department of Information Technology.
context_section_description: Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Danish computer scientist.
  Anders P. Ravn was born in 1947 in Caracas, Venezuela, the son of Niels and Henny (Sønder) Ravn. He arrived in Denmark in 1948. Ravn received a Master of Science (M.Sc.) degree 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.
  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. During 1982–3, he was a visiting scientist at IBM's Thomas J. Watson Research Center in Yorktown Heights, New York, United States. He joined the Department of Computer Science at the Technical University of Denmark (ID-DTH) as a lecturer (1984–9) followed by reader (1989–99) in the Department of Information Technology. During this time, he was also an adjunct lecturer in the Department of Mathematics at the Royal Veterinary and Agricultural University in Denmark (1985–9), guest researcher at Oxford University (1989–90), and Visiting Professor at the Institut für Praktische Mathematik und Informatik, University of Kiel in Germany (1994). He participated in the ESPRIT ProCoS project on Provably Correct Systems. He was a Research Professor in the Department of Computer Science at Aalborg University (1999–2004), before being appointed Professor of Computing Science there (2004–16). He then retired, becoming an Emeritus Professor.
  Ravn specialized in research into formal methods, especially for embedded systems and hybrid systems. In particular, he worked with Zhou Chaochen and Tony Hoare on the development of Duration Calculus for real-time systems.
  He became a member of the Dansk Selskab for Datalogi (DSfD) in 1972, the Association for Computing Machinery (ACM) in 1983, and was a Life Member of the IEEE Computer Society. He was also a member of 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. He was honoured as a Knight of the Order of the Dannebrog in 2015. He married Annemette Lind on 31 August 1973 and they had two children. Ravn died in Copenhagen on 1 August 2019.
caption: Anders Ravn in Chongqing, China
exif: {"Image Make": "Apple", "Image Model": "iPhone XS Max", "Image XResolution": "72", "Image YResolution": "72", "Image ResolutionUnit": "Pixels/Inch", "Image Software": "12.4", "Image DateTime": "2019:08:24 15:30:53", "Image TileWidth": "512", "Image TileLength": "512", "Image ExifOffset": "208", "GPS GPSLatitudeRef": "N", "GPS GPSLatitude": "[29, 49, 5949/100]", "GPS GPSLongitudeRef": "E", "GPS GPSLongitude": "[106, 25, 2701/50]", "GPS GPSAltitudeRef": "0", "GPS GPSAltitude": "1179241/5350", "GPS GPSTimeStamp": "[7, 30, 51]", "GPS GPSSpeedRef": "K", "GPS GPSSpeed": "25063/32307", "GPS GPSImgDirectionRef": "T", "GPS GPSImgDirection": "340415/2156", "GPS GPSDestBearingRef": "T", "GPS GPSDestBearing": "340415/2156", "GPS GPSDate": "2019:08:24", "GPS Tag 0x001F": "392479/14759", "Image GPSInfo": "1850", "EXIF ExposureTime": "1/96", "EXIF FNumber": "9/5", "EXIF ExposureProgram": "Program Normal", "EXIF ISOSpeedRatings": "100", "EXIF ExifVersion": "0221", "EXIF DateTimeOriginal": "2019:08:24 15:30:53", "EXIF DateTimeDigitized": "2019:08:24 15:30:53", "EXIF ComponentsConfiguration": "YCbCr", "EXIF ShutterSpeedValue": "63426/9631", "EXIF ApertureValue": "54823/32325", "EXIF BrightnessValue": "89429/22175", "EXIF ExposureBiasValue": "0", "EXIF MeteringMode": "Pattern", "EXIF Flash": "Flash did not fire, auto mode", "EXIF FocalLength": "17/4", "EXIF SubjectArea": "[1212, 890, 481, 481]", "EXIF SubSecTimeOriginal": "472", "EXIF SubSecTimeDigitized": "472", "EXIF FlashPixVersion": "0100", "EXIF ExifImageWidth": "3697", "EXIF ExifImageLength": "2774", "EXIF SensingMethod": "One-chip color area", "EXIF SceneType": "Directly Photographed", "EXIF ExposureMode": "Auto Exposure", "EXIF WhiteBalance": "Auto", "EXIF FocalLengthIn35mmFilm": "26", "EXIF SceneCaptureType": "Standard", "EXIF LensSpecification": "[17/4, 6, 9/5, 12/5]", "EXIF LensMake": "Apple", "EXIF LensModel": "iPhone XS Max back dual camera 4.25mm f/1.8"}