Anders P. Ravn facts for kids
Quick facts for kids
Anders P. Ravn
|
|
|---|---|
|
|
| Born | 29 October 1947 |
| Died | 1 August 2019 (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 |
Anders Peter Ravn (born October 29, 1947 – died August 1, 2019) was a Danish computer scientist. He was known for his work in making computer systems more reliable.
Anders Ravn was born in 1947 in Caracas, Venezuela. He moved to Denmark in 1948. He studied Computer Science and Mathematics at the University of Copenhagen. Later, he earned a special doctorate degree in Computer Science from the Technical University of Denmark.
Contents
Anders Ravn's Career Journey
Anders Ravn spent many years working with computers and teaching.
Early Work
From 1969 to 1973, he was a teaching assistant at the University of Copenhagen. He helped students learn about computer science. After that, from 1972 to 1976, he worked as a systems programmer. He helped build and manage computer systems for a Danish company called Regnecentralen.
Teaching and Research
Anders Ravn loved teaching and research. He became a professor at the University of Copenhagen. He also spent time as a visiting scientist at IBM in the United States. IBM is a very famous computer company.
Later, he joined the Technical University of Denmark. He continued to teach and do research there. He also visited other universities, like Oxford University in England and the University of Kiel in Germany. He worked on a big European project called ESPRIT ProCoS. This project focused on making computer systems that are proven to work correctly.
From 1999, he was a professor at Aalborg University in Denmark. He taught and researched there until he retired in 2016. Even after retiring, he remained an emeritus professor, meaning he was still connected to the university.
What Anders Ravn Studied
Anders Ravn was an expert in an area called formal methods. This is about using math and logic to make sure computer systems work perfectly.
Embedded and Hybrid Systems
He focused on embedded systems. These are computers built into other devices, like in cars or washing machines. He also studied hybrid systems, which combine computer control with physical processes.
Duration Calculus
One of his most important contributions was helping to create something called duration calculus. He worked with famous computer scientists Zhou Chaochen and Tony Hoare on this. Duration calculus is a special way to describe and check how real-time systems behave. Real-time systems are computers that must respond very quickly, like in airplane controls or medical devices.
Awards and Recognition
Anders Ravn was recognized for his important work.
He received an award called Ulrik and Marie Brinch's honorary award in 1996. In 2015, he was honored as a Knight of the Order of the Dannebrog. This is a special award given by the Danish royal family.
Anders Ravn was married to Annemette Lind and they had two children. He passed away in Copenhagen in 2019.
Images for kids
-
Anders Ravn in China, 2017
