kids encyclopedia robot

Anders P. Ravn facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Anders P. Ravn
Ander Ravn.jpg
Anders Ravn in Chongqing, China
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

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.

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

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