Anders P. Ravn - Anders P. Ravn - Wikipedia

Anders P. Ravn
Ander Ravn.jpg
Anders Ravn Chontsin, Xitoy
Tug'ilgan(1947-10-29)1947 yil 29 oktyabr
Karakas, Venesuela
O'ldi1 avgust 2019(2019-08-01) (71 yosh)
Kopengagen, Daniya
FuqarolikDaniya
Olma materKopengagen universiteti
Daniya Texnik universiteti
Ma'lumDavomiy hisoblash
Turmush o'rtoqlarAnnemette Lind
MukofotlarBrinchning faxriy mukofoti (1996)
Dannebrog ordeni (2015)
Ilmiy martaba
MaydonlarKompyuter fanlari, dasturiy ta'minot, rasmiy usullar
InstitutlarKopengagen universiteti
Daniya Texnik universiteti
Olborg universiteti
Ta'sirC.A.R. Hoare
Chjou Chaochen
Ta'sirlanganTsiming Lyu
Veb-saytpeople.cs.aau.dk/~apr

Anders Piter Ravn (1947 yil 29 oktyabr - 2019 yil 1 avgust) a Daniya kompyutershunos.[1][2]

Anders P. Ravn 1947 yilda tug'ilgan Karakas, Venesuela, Nil va Xeni (Sönder) Ravnning o'g'li.[1][2] U kirib keldi Daniya 1948 yilda Ravn a Ilmiy magistr (Magistr) darajasi Kompyuter fanlari va Matematika dan Kopengagen universiteti 1973 yilda va a Texnologiya fanlari doktori (Dr.Tech.) Dan Kompyuter fanlari darajasi Daniya Texnik universiteti 1995 yilda.[3]

1969–73 yillarda Anders Ravn a o'qituvchi yordamchisi Kopengagen universiteti (DIKU) kompyuter fanlari bo'limida.[3] 1972–76 yillarda u a tizim dasturchisi kuni minikompyuterlar dastlabki Daniya kompyuter kompaniyasida A / S Regnecentralen. U akademiyaga qaytdi va ko'tarildi dotsent (1976-80) gacha Dotsent (1980–84) DIKUda. 1982–3 yillarda u tashrif buyurgan olim bo'lgan IBM "s Tomas J. Vatson tadqiqot markazi yilda Yorktown balandliklari, Nyu York, Qo'shma Shtatlar. U Daniya Texnik Universitetining (ID-DTH) kompyuter fanlari bo'limiga a o'qituvchi (1984-9) va undan keyin o'quvchi (1989–99) bo'limida Axborot texnologiyalari. Shu vaqt ichida u ham edi yordamchi o'qituvchi Matematika kafedrasida Qirollik veterinariya va qishloq xo'jaligi universiteti Daniyada (1985–9), mehmon tadqiqotchisi Oksford universiteti (1989-90) va Tashrif buyurgan professor Fur Praktische Mathematik und Informatik Institutida, Kiel universiteti yilda Germaniya (1994).[3] U ishtirok etdi ESPRIT Provable Correct Systems bo'yicha ProCoS loyihasi. U edi Ilmiy-tadqiqot professori Kompyuter fanlari kafedrasida Olborg universiteti (1999-2004), tayinlanishidan oldin Professor U erda hisoblash fanlari (2004–16). Keyin u nafaqaga chiqdi Emeritus professori.

Anders Ravn Xitoy, 2017

Ravn tadqiqotga ixtisoslashgan rasmiy usullar, ayniqsa uchun o'rnatilgan tizimlar va gibrid tizimlar.[4] Xususan, u bilan ishlagan Chjou Chaochen va Toni Xare ning rivojlanishi to'g'risida Davomiy hisoblash uchun real vaqt tizimlari.

1972 yilda Datalogi (DSfD) uchun Dansk Selskab a'zosi bo'ldi Hisoblash texnikasi assotsiatsiyasi (ACM) 1983 yilda va hayotning a'zosi bo'lgan IEEE Kompyuter Jamiyati.[3] U shuningdek, a'zosi bo'lgan IFIP ishchi guruhi 2.2 (Dasturlash tushunchalarining rasmiy tavsifini o'z ichiga olgan) 2002 yildan.

Anders Ravn 1996 yilda Ulrik va Mari Brinchning faxriy mukofotiga sazovor bo'ldi.[3] U ritsar sifatida sharaflangan Dannebrog ordeni 2015 yilda.[3][5] 1973 yil 31-avgustda Annemette Lindga uylandi va ularning ikki farzandi bor edi.[1][2] Ravn Kopengagenda 2019 yil 1 avgustda vafot etdi.[6][7]

Tanlangan nashrlar

Ravn ko'plab tadqiqot ishlarini tayyorladi[5] va bir nechta kitoblarni tahrir qildi:[8]

  • Chjou Chaochen; Hoare, C.A.R.; Ravn, Anders P. (1991). "Davomiylik hisobi". Axborotni qayta ishlash xatlari. 40 (5): 269–276. doi:10.1016 / 0020-0190 (91) 90122-X.
  • Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Xans, nashr. (1993). Gibrid tizimlar. Kompyuter fanidan ma'ruza matnlari. 736. Springer-Verlag. doi:10.1007/3-540-57318-6. ISBN  978-3-540-57318-0. S2CID  199561.
  • Ravn, Anders P.; Rischel, Xans, nashr. (1998). Haqiqiy vaqtdagi va nosozliklarga bardoshli tizimlarda rasmiy usullar. Kompyuter fanidan ma'ruza matnlari. 1486. Springer-Verlag. doi:10.1007 / BFb0055330. ISBN  978-3-540-65003-4. S2CID  42726018.
  • Lyu, Chjiming; Ravn, Anders P., nashr. (2009). Tekshirish va tahlil qilishning avtomatlashtirilgan texnologiyasi. Kompyuter fanidan ma'ruza matnlari. 5799. Springer-Verlag. doi:10.1007/978-3-642-04761-9. ISBN  978-3-642-04760-2.

Adabiyotlar

  1. ^ a b v "Anders Piter Ravn". Berlingske. Daniya. 6 avgust 2019.
  2. ^ a b v "Anders Piter Ravn". Politiken. Daniya. 6 avgust 2019.
  3. ^ a b v d e f Ravn, Anders P. "Tarjimai hol". Daniya: Olborg universiteti. Olingan 3 avgust 2019.
  4. ^ "Anders P. Ravn". DBLP. Olingan 3 avgust 2019.
  5. ^ a b "Tarjimai hol Anders P. Ravn". Daniya: Olborg universiteti. Olingan 3 avgust 2019.
  6. ^ "Anders Piter Ravn 1947 - 2019". afdoede.dk. Daniya. Olingan 6 avgust 2019.
  7. ^ Bouen, Jonathan P. (Iyun 2020). "Memoriamda: beshta rasmiy uslubdagi hamkasblarga hurmat" (PDF). FAKTLAR. BCS-FACS. 2020 (1): 13–29. doi:10.13140 / RG.2.2.13481.62560.
  8. ^ "Anders P. Ravn". Amazon.co.uk. Olingan 3 avgust 2019.

Tashqi havolalar