Anders P. Ravn: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Link to DAB page repaired
Updated photos, commons cat, DOIs
Line 2: Line 2:
{{Infobox scientist
{{Infobox scientist
|name = Anders P. Ravn
|name = Anders P. Ravn
|image = Anders in China 2017.jpg
|image = Ander Ravn.jpg
|image_size = 200px
|image_size = 250px
|caption = Anders Ravn in [[China]], 2017
|caption = Anders Ravn in [[Chongqing]], [[China]]
|birth_date = {{birth date|1947|10|29||df=yes}}
|birth_date = {{birth date|1947|10|29||df=yes}}
|birth_place = [[Caracas]], [[Venezuela]]
|birth_place = [[Caracas]], [[Venezuela]]
Line 33: Line 33:
Anders P. Ravn was born in 1947 in [[Caracas]], [[Venezuela]], the son of Niels and Henny (Sønder) Ravn.<ref name="berlingske" /><ref name="politiken" /> 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.<ref name="cv">{{cite web| url=http://people.cs.aau.dk/~apr/ecv.html | title=Curriculum Vitae | first=Anders P. | last=Ravn | publisher=[[Aalborg University]] | location=Denmark | accessdate=3 August 2019 }}</ref>
Anders P. Ravn was born in 1947 in [[Caracas]], [[Venezuela]], the son of Niels and Henny (Sønder) Ravn.<ref name="berlingske" /><ref name="politiken" /> 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.<ref name="cv">{{cite web| url=http://people.cs.aau.dk/~apr/ecv.html | title=Curriculum Vitae | first=Anders P. | last=Ravn | publisher=[[Aalborg University]] | location=Denmark | accessdate=3 August 2019 }}</ref>


Between 1969–73, Anders Ravn was a [[teaching assistant]] in the Department of Computer Science at the University of Copenhagen (DIKU).<ref name="cv" /> From 1972–76, he was a [[systems programmer]] on [[minicomputer]]s at the early Danish computer company [[Aktieselskab|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|Yorktown Heights]], [[New York (state)|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 (academic rank)|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).<ref name="cv" /> He participated in the [[European Strategic Program on Research in Information Technology|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 to become an [[Emeritus Professor]].
Between 1969–73, Anders Ravn was a [[teaching assistant]] in the Department of Computer Science at the University of Copenhagen (DIKU).<ref name="cv" /> From 1972–76, he was a [[systems programmer]] on [[minicomputer]]s at the early Danish computer company [[Aktieselskab|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|Yorktown Heights]], [[New York (state)|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 (academic rank)|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).<ref name="cv" /> He participated in the [[European Strategic Program on Research in Information Technology|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]].


[[File:Anders in China 2017.jpg|thumb|upright|left|Anders Ravn in [[China]], 2017]]
Ravn specialized in research into [[formal methods]], especially for [[embedded systems]] and [[hybrid systems]].<ref>{{cite web| url=https://dblp.org/pers/hd/r/Ravn:Anders_P= | title=Anders P. Ravn |publisher=[[DBLP]] | accessdate=3 August 2019 }}</ref> In particular, he worked with [[Zhou Chaochen]] and [[Tony Hoare]] on the development of [[Duration Calculus]] for [[real-time systems]].
Ravn specialized in research into [[formal methods]], especially for [[embedded systems]] and [[hybrid systems]].<ref>{{cite web| url=https://dblp.org/pers/hd/r/Ravn:Anders_P= | title=Anders P. Ravn |publisher=[[DBLP]] | accessdate=3 August 2019 }}</ref> In particular, he worked with [[Zhou Chaochen]] and [[Tony Hoare]] on the development of [[Duration Calculus]] for [[real-time systems]].


Line 45: Line 46:


* {{cite article| title=A calculus of durations | author1=Zhou Chaochen | author-link1=Zhou Chaochen | first2=C.A.R. | last2=Hoare | author-link2=Tony Hoare | first3=Anders P. | last3=Ravn | journal=[[Information Processing Letters]] | volume=40 | number=5 | pages=269–276 | year=1991 | doi=10.1016/0020-0190(91)90122-X }}
* {{cite article| title=A calculus of durations | author1=Zhou Chaochen | author-link1=Zhou Chaochen | first2=C.A.R. | last2=Hoare | author-link2=Tony Hoare | first3=Anders P. | last3=Ravn | journal=[[Information Processing Letters]] | volume=40 | number=5 | pages=269–276 | year=1991 | doi=10.1016/0020-0190(91)90122-X }}
* {{cite book| title=Hybrid Systems | editor-first1=Robert L. | editor-last1=Grossman | editor-first2=Anil | editor-last2=Nerode | editor-link2=Anil Nerode | editor-first3=Anders P. | editor-last3=Ravn | editor-first4=Hans | editor-last4=Rischel | publisher=[[Springer-Verlag]] | date=1993 | isbn=978-0387573182 | series=[[Lecture Notes in Computer Science]] | volume=736 }}
* {{cite book| title=Hybrid Systems | editor-first1=Robert L. | editor-last1=Grossman | editor-first2=Anil | editor-last2=Nerode | editor-link2=Anil Nerode | editor-first3=Anders P. | editor-last3=Ravn | editor-first4=Hans | editor-last4=Rischel | publisher=[[Springer-Verlag]] | date=1993 | isbn=978-3-540-57318-0 | doi=10.1007/3-540-57318-6 | series=[[Lecture Notes in Computer Science]] | volume=736 }}
* {{cite book| title=Formal Techniques in Real-Time and Fault-Tolerant Systems | editor-first1=Anders P. | editor-last1=Ravn | editor-first2=Hans | editor-last2=Rischel | publisher=[[Springer-Verlag]] | date=1998 | isbn=978-3540650034 | series=[[Lecture Notes in Computer Science]] | volume=1486 }}
* {{cite book| title=Formal Techniques in Real-Time and Fault-Tolerant Systems | editor-first1=Anders P. | editor-last1=Ravn | editor-first2=Hans | editor-last2=Rischel | publisher=[[Springer-Verlag]] | date=1998 | isbn=978-3-540-65003-4 | doi=10.1007/BFb0055330 | series=[[Lecture Notes in Computer Science]] | volume=1486 }}
* {{cite book| title=Automated Technology for Verification and Analysis | editor-first1=Zhiming | editor-last1=Liu | editor-link1=Zhiming Liu (computer scientist) | editor-first2=Anders P. | editor-last2=Rischel | publisher=[[Springer-Verlag]] | date=2009 | isbn=978-3642047602 | series=[[Lecture Notes in Computer Science]] | volume=5799 }}
* {{cite book| title=Automated Technology for Verification and Analysis | editor-first1=Zhiming | editor-last1=Liu | editor-link1=Zhiming Liu (computer scientist) | editor-first2=Anders P. | editor-last2=Rischel | publisher=[[Springer-Verlag]] | date=2009 | isbn=978-3-642-04760-2 | doi=10.1007/978-3-642-04761-9 | series=[[Lecture Notes in Computer Science]] | volume=5799 }}


==References==
==References==
Line 53: Line 54:


==External links==
==External links==
{{commonscat}}
* [http://people.cs.aau.dk/~apr/ Home page]
* [http://people.cs.aau.dk/~apr/ Home page]
* [https://prabook.com/web/anders_peter.ravn/290338 Prabook profile]
* [https://prabook.com/web/anders_peter.ravn/290338 Prabook profile]

Revision as of 14:17, 29 August 2019

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 Caracas, Venezuela, the son of Niels and Henny (Sønder) Ravn.[1][2] 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.[3]

Between 1969–73, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen (DIKU).[3] 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).[3] 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.

Anders Ravn in China, 2017

Ravn specialized in research into formal methods, especially for embedded systems and hybrid systems.[4] 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.[3] 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.[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]

Selected publications

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

  • Template:Cite article
  • Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans, eds. (1993). Hybrid Systems. Lecture Notes in Computer Science. Vol. 736. Springer-Verlag. doi:10.1007/3-540-57318-6. ISBN 978-3-540-57318-0.
  • Ravn, Anders P.; Rischel, Hans, eds. (1998). Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science. Vol. 1486. Springer-Verlag. doi:10.1007/BFb0055330. ISBN 978-3-540-65003-4.
  • Liu, Zhiming; Rischel, Anders P., eds. (2009). Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Vol. 5799. Springer-Verlag. doi:10.1007/978-3-642-04761-9. 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. ^ "Anders P. Ravn". 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=913042306"