Anders Peter Ravn (29 October 1947 – 1 August 2019) was a

Danish Danish may refer to: * Something of, from, or related to the country of Denmark People * A national or citizen of Denmark, also called a "Dane," see Demographics of Denmark * Culture of Denmark * Danish people or Danes, people with a Danish ance ...

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

. Anders P. Ravn was born in 1947 in

Caracas Caracas (, ), officially Santiago de León de Caracas, abbreviated as CCS, is the capital and largest city of Venezuela, and the center of the Metropolitan Region of Caracas (or Greater Caracas). Caracas is located along the Guaire River in the ...

Venezuela Venezuela (; ), officially the Bolivarian Republic of Venezuela ( es, link=no, República Bolivariana de Venezuela), is a country on the northern coast of South America, consisting of a continental landmass and many islands and islets in th ...

, the son of Niels and Henny (Sønder) Ravn. He arrived in

Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Danish Realm, Kingdom of Denmark ...

in 1948. Ravn received a

Master of Science A Master of Science ( la, Magisterii Scientiae; abbreviated MS, M.S., MSc, M.Sc., SM, S.M., ScM or Sc.M.) is a master's degree in the field of science awarded by universities in many countries or a person holding such a degree. In contrast to ...

(M.Sc.) degree in

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

and

Mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

from the

University of Copenhagen The University of Copenhagen ( da, Københavns Universitet, KU) is a prestigious public university, public research university in Copenhagen, Copenhagen, Denmark. Founded in 1479, the University of Copenhagen is the second-oldest university in ...

in 1973 and a

Doctor of Technology The Doctor of Technology (abbreviated variously in different countries) is a degree normally conferred upon candidates after having completed a course of study in technology and a dissertation or a project of lengthy duration in a technologically r ...

(Dr.Tech.) degree in Computer Science from the

Technical University of Denmark The Technical University of Denmark ( da, Danmarks Tekniske Universitet), often simply referred to as DTU, is a polytechnic university and school of engineering. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's fi ...

in 1995. Between 1969 and 1973, Anders Ravn was a

teaching assistant A teaching assistant or teacher's aide (TA) or education assistant (EA) or team teacher (TT) is an individual who assists a teacher with instructional responsibilities. TAs include ''graduate teaching assistants'' (GTAs), who are graduate school ...

in the Department of Computer Science at the University of Copenhagen (DIKU). From 1972 to 1976, he was a

systems programmer Systems programming, or system programming, is the activity of programming computer system software. The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to pr ...

minicomputer A minicomputer, or colloquially mini, is a class of smaller general purpose computers that developed in the mid-1960s and sold at a much lower price than mainframe and mid-size computers from IBM and its direct competitors. In a 1970 survey, ...

s at the early Danish computer company A/S Regnecentralen. He returned to academia and rose from assistant professor (1976–80) to

associate professor Associate professor is an academic title with two principal meanings: in the North American system and that of the ''Commonwealth system''. Overview In the ''North American system'', used in the United States and many other countries, it is a ...

(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 New York most commonly refers to: * New York City, the most populous city in the United States, located in the state of New York * New York (state), a state in the northeastern United States New York may also refer to: Film and television * '' ...

United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territorie ...

. He joined the Department of Computer Science at the Technical University of Denmark (ID-DTH) as a

lecturer Lecturer is an List of academic ranks, academic rank within many universities, though the meaning of the term varies somewhat from country to country. It generally denotes an academic expert who is hired to teach on a full- or part-time basis. T ...

(1984–9) followed by

reader A reader is a person who reads. It may also refer to: Computing and technology * Adobe Reader (now Adobe Acrobat), a PDF reader * Bible Reader for Palm, a discontinued PDA application * A card reader, for extracting data from various forms of ...

(1989–99) in the Department of

Information Technology Information technology (IT) is the use of computers to create, process, store, retrieve, and exchange all kinds of data . and information. IT forms part of information and communications technology (ICT). An information technology system (I ...

. During this time, he was also an

adjunct lecturer An adjunct professor is a type of academic appointment in higher education who does not work at the establishment full-time. The terms of this appointment and the job security of the tenure vary in different parts of the world, however the genera ...

in the Department of Mathematics at the

Royal Veterinary and Agricultural University The Royal Veterinary and Agricultural University ( da, Kongelige Veterinær- og Landbohøjskole, abbr. KVL) was a veterinary and agricultural science university in Denmark. It was founded in 1856 and operated until 2007, when it became a part of t ...

in Denmark (1985–9), guest researcher at

Oxford University Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

(1989–90), and

visiting professor In academia, a visiting scholar, visiting researcher, visiting fellow, visiting lecturer, or visiting professor is a scholar from an institution who visits a host university to teach, lecture, or perform research on a topic for which the visitor ...

at the Institut für Praktische Mathematik und Informatik, University of Kiel in

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

(1994). He participated in the

ESPRIT Esprit or L'Esprit may refer to: * the French for Spirit; as a loanword: ** Enthusiasm, intense interest or motivation ** Morale, motivation and readiness ** Geist "mind/spirit; intellect" * Esprit (name), a given name and surname * ''Esprit'' (m ...

ProCoS project on Provably Correct Systems. He was a

Research Professor Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors ...

in the Department of Computer Science at Aalborg University (1999–2004), before being appointed

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

of Computing Science there (2004–16). He then retired, becoming an emeritus professor. Anders in China 2017

Ravn specialized in research into formal methods, especially for embedded systems and

hybrid systems A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both ''flow'' (described by a differential equation) and ''jump'' (described by a state machine or automaton). Often, the te ...

. In particular, he worked with

Zhou Chaochen Zhou Chaochen (; born 1 November 1937) is a Chinese computer scientist. Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954–1958) and as a postgra ...

and

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

on the development of

duration calculus Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ''ProCoS'' project on ''Provabl ...

for real-time systems. He became a member of the Dansk Selskab for Datalogi (DSfD) in 1972, the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

(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 The Order of the Dannebrog ( da, Dannebrogordenen) is a Danish order of chivalry instituted in 1671 by Christian V. Until 1808, membership in the order was limited to fifty members of noble or royal rank, who formed a single class known a ...

in 2015. He married Annemette Lind on 31 August 1973 and they had two children. Ravn died in Copenhagen on 1 August 2019.

Selected publications

Ravn produced many research papers and edited several books: * * * *

References

External links

Home page

Anders P. Ravn
on

ResearchGate ResearchGate is a European commercial social networking site for scientists and researchers to share papers, ask and answer questions, and find collaborators. According to a 2014 study by ''Nature'' and a 2016 article in ''Times Higher Education'' ...

Anders P. Ravn
publications index by DBLP *
Anders P. Ravn
on th
Danish National Research Database
{{DEFAULTSORT:Ravn, Anders P. 1947 births 2019 deaths People from Caracas University of Copenhagen alumni Technical University of Denmark alumni Danish computer programmers Danish computer scientists IBM employees Academic staff of the University of Copenhagen Academic staff of the Technical University of Denmark Academic staff of Aalborg University Formal methods people Knights of the Order of the Dannebrog