Anders P. Ravn - Anders P. Ravn - Wikipedia

Anders P. Ravn
Ander Ravn.jpg
Anders Ravn dovnitř Čchung-čching, Čína
narozený(1947-10-29)29. října 1947
Caracas, Venezuela
Zemřel1. srpna 2019(2019-08-01) (ve věku 71)
Kodaň, Dánsko
Státní občanstvídánština
Alma materKodaňská univerzita
Technická univerzita v Dánsku
Známý jakoPočítadlo trvání
Manžel (y)Annemette Lind
OceněníBrinchova čestná cena (1996)
Řád Dannebrog (2015)
Vědecká kariéra
PolePočítačová věda, softwarové inženýrství, formální metody
InstituceKodaňská univerzita
Technická univerzita v Dánsku
Aalborg University
VlivyAUTO. Hoare
Zhou Chaochen
OvlivněnoZhiming Liu
webová stránkapeople.cs.aau.dk/~apr

Anders Peter Ravn (29. října 1947 - 1. srpna 2019) byl a dánština počítačový vědec.[1][2]

Anders P. Ravn se narodil v roce 1947 v Caracas, Venezuela, syn Nielse a Henny (Sønder) Ravn.[1][2] Dorazil dovnitř Dánsko v roce 1948. Ravn obdržel a Mistr vědy (M.Sc.) titul v Počítačová věda a Matematika z Kodaňská univerzita v roce 1973 a Doktor technologie (Dr.Tech.) V oboru výpočetní techniky z Technická univerzita v Dánsku v roce 1995.[3]

V letech 1969–73 byl Anders Ravn pomocný učitel na katedře informatiky na univerzitě v Kodani (DIKU).[3] V letech 1972–76 byl systémový programátor na minipočítače v rané dánské počítačové společnosti TAK JAKO Regnecentralen. Vrátil se na akademickou půdu a vstal odborný asistent (1976–80) do Docent (1980–1984) na DIKU. V letech 1982–3 byl hostujícím vědcem v IBM je Výzkumné centrum Thomase J. Watsona v Yorktown Heights, New York, Spojené státy. Nastoupil na Katedru informatiky na Technické univerzitě v Dánsku (ID-DTH) jako a přednášející (1984–19) následovaný čtenář (1989–1999) na katedře Informační technologie. Během této doby byl také pomocný lektor na katedře matematiky na Královská veterinární a zemědělská univerzita v Dánsku (1985–199), výzkumný pracovník v Oxfordská univerzita (1989–90) a Hostující profesor na Institut für Praktische Mathematik und Informatik, University of Kiel v Německo (1994).[3] Podílel se na ESPRIT Projekt ProCoS na prokazatelně správných systémech. Byl Profesor výzkumu na katedře informatiky na Aalborg University (1999–2004), než byl jmenován Profesor počítačové vědy tam (2004–16). Poté odešel do důchodu a stal se Emeritní profesor.

Anders Ravn dovnitř Čína, 2017

Ravn se specializoval na výzkum formální metody, zejména pro vestavěné systémy a hybridní systémy.[4] Zejména pracoval s Zhou Chaochen a Tony Hoare o rozvoji Počítadlo trvání pro systémy v reálném čase.

V roce 1972 se stal členem Dansk Selskab pro Datalogi (DSfD) Sdružení pro výpočetní techniku (ACM) v roce 1983 a byl doživotním členem IEEE Computer Society.[3] Byl také členem Pracovní skupina IFIP 2.2 (pokrývající formální popis programovacích konceptů) z roku 2002.

Anders Ravn obdržel čestné ocenění Ulrika a Marie Brinchových v roce 1996.[3] Byl oceněn jako rytíř Řád Dannebrog v roce 2015.[3][5] Oženil se s Annemette Lindovou dne 31. srpna 1973 a měli dvě děti.[1][2] Ravn zemřel v Kodani dne 1. srpna 2019.[6][7]

Vybrané publikace

Ravn vytvořil mnoho výzkumných prací[5] a upravil několik knih:[8]

  • Zhou Chaochen; Hoare, C.A.R.; Ravn, Anders P. (1991). "Počítadlo trvání". Dopisy o zpracování informací. 40 (5): 269–276. doi:10.1016 / 0020-0190 (91) 90122-X.
  • Grossman, Robert L .; Nerode, Anil; Ravn, Anders P .; Rischel, Hans, eds. (1993). Hybridní systémy. Přednášky z informatiky. 736. Springer-Verlag. doi:10.1007/3-540-57318-6. ISBN  978-3-540-57318-0. S2CID  199561.
  • Ravn, Anders P .; Rischel, Hans, eds. (1998). Formální techniky v systémech v reálném čase a odolných vůči chybám. Přednášky z informatiky. 1486. Springer-Verlag. doi:10.1007 / BFb0055330. ISBN  978-3-540-65003-4. S2CID  42726018.
  • Liu, Zhiming; Ravn, Anders P., eds. (2009). Automatizovaná technologie pro ověřování a analýzu. Přednášky z informatiky. 5799. Springer-Verlag. doi:10.1007/978-3-642-04761-9. ISBN  978-3-642-04760-2.

Reference

  1. ^ A b C „Anders Peter Ravn“. Berlingske. Dánsko. 6. srpna 2019.
  2. ^ A b C „Anders Peter Ravn“. Politiken. Dánsko. 6. srpna 2019.
  3. ^ A b C d E F Ravn, Anders P. "Životopis". Dánsko: Aalborg University. Citováno 3. srpna 2019.
  4. ^ „Anders P. Ravn“. DBLP. Citováno 3. srpna 2019.
  5. ^ A b „Curriculum Vitae Anders P. Ravn“. Dánsko: Aalborg University. Citováno 3. srpna 2019.
  6. ^ „Anders Peter Ravn 1947–2019“. afdoede.dk. Dánsko. Citováno 6. srpna 2019.
  7. ^ Bowen, Jonathan P. (Červen 2020). „In Memoriam: Pocta pěti kolegům z formálních metod“ (PDF). FAKTA FAKTA. BCS-FACS. 2020 (1): 13–29. doi:10,13140 / RG.2.2.13481.62560.
  8. ^ „Anders P. Ravn“. Amazon.co.uk. Citováno 3. srpna 2019.

externí odkazy