Андерс П. Равн - Википедия - Anders P. Ravn

Андерс П. Равн
Андер Равн.jpg
Андерс Равн в Чунцин, Китай
Родившийся(1947-10-29)29 октября 1947 г.
Каракас, Венесуэла
Умер1 августа 2019 г.(2019-08-01) (71 год)
Копенгаген, Дания
ГражданствоДатский
Альма-матерКопенгагенский университет
Технический университет Дании
ИзвестенРасчет продолжительности
Супруг (а)Аннеметт Линд
НаградыПочетная награда Бринча (1996)
Орден Даннеброга (2015)
Научная карьера
ПоляИнформатика, программная инженерия, формальные методы
УчрежденияКопенгагенский университет
Технический университет Дании
Ольборгский университет
ВлиянияМАШИНА. Hoare
Чжоу Чаочен
Под влияниемЧжимин Лю
Интернет сайтpeople.cs.aau.dk/~apr

Андерс Питер Равн (29 октября 1947 г. - 1 августа 2019 г.) Датский специалист в области информатики.[1][2]

Андерс П. Равн родился в 1947 г. в г. Каракас, Венесуэла, сын Нильса и Хенни (Сёндер) Равн.[1][2] Он прибыл в Дания в 1948 году. Равн получил Магистр естественных наук (M.Sc.) степень в Информатика и Математика от Копенгагенский университет в 1973 году и Доктор технических наук (Доктор технических наук) степень в области компьютерных наук от Технический университет Дании в 1995 г.[3]

В период с 1969 по 1973 год Андерс Равн был помощник учителя на факультете компьютерных наук Копенгагенского университета (DIKU).[3] В 1972–76 гг. Он был системный программист на миникомпьютеры в ранней датской компьютерной компании В КАЧЕСТВЕ Regnecentralen. Он вернулся в академию и вырос из доцент (1976–80) по Доцент (1980–84) в DIKU. В 1982–2003 годах он был приглашенным ученым в IBM с Исследовательский центр Томаса Дж. Уотсона в Yorktown Heights, Нью-Йорк, Соединенные Штаты. Он присоединился к факультету компьютерных наук Датского технического университета (ID-DTH) в качестве специалиста. лектор (1984-9), за которыми следуют читатель (1989–99) в отделении Информационные технологии. В это время он также был адъюнкт-лектор на кафедре математики Королевский ветеринарный и сельскохозяйственный университет в Дании (1985–1989), приглашенный исследователь в Оксфордский университет (1989–90), и Посещая профессора в Institut für Praktische Mathematik und Informatik, Кильский университет в Германия (1994).[3] Он участвовал в ESPRIT Проект ProCoS о проверенных корректных системах. Он был Профессор-исследователь на кафедре компьютерных наук в Ольборгский университет (1999–2004), до назначения Профессор вычислительной техники там (2004–16). Затем он ушел на пенсию, став Почетный профессор.

Андерс Равн в Китай, 2017

Равн специализировался на исследовании формальные методы, особенно для встроенные системы и гибридные системы.[4] В частности, он работал с Чжоу Чаочен и Тони Хоар по развитию Расчет продолжительности за системы реального времени.

Он стал членом Dansk Selskab for Datalogi (DSfD) в 1972 г. Ассоциация вычислительной техники (ACM) в 1983 году и был пожизненным членом IEEE Computer Society.[3] Он также был членом Рабочая группа 2.2 ИФИП (охватывающее формальное описание концепций программирования) с 2002 года.

Андерс Равн получил почетную награду Ульрика и Мари Бринч в 1996 году.[3] Он был удостоен звания рыцаря Орден Даннеброга в 2015 году.[3][5] Он женился на Аннеметт Линд 31 августа 1973 года, и у них было двое детей.[1][2] Равн умер в Копенгагене 1 августа 2019 года.[6][7]

Избранные публикации

Равн написал много исследовательских работ[5] и отредактировал несколько книг:[8]

  • Чжоу Чаочен; Хоар, C.A.R.; Равн, Андерс П. (1991). «Исчисление длительностей». Письма об обработке информации. 40 (5): 269–276. Дои:10.1016 / 0020-0190 (91) 90122-Х.
  • Гроссман, Роберт Л .; Нероде, Анил; Ravn, Anders P .; Ришель, Ганс, ред. (1993). Гибридные системы. Конспект лекций по информатике. 736. Springer-Verlag. Дои:10.1007/3-540-57318-6. ISBN  978-3-540-57318-0. S2CID  199561.
  • Ravn, Anders P .; Ришель, Ганс, ред. (1998). Формальные методы в системах реального времени и отказоустойчивых системах. Конспект лекций по информатике. 1486. Springer-Verlag. Дои:10.1007 / BFb0055330. ISBN  978-3-540-65003-4. S2CID  42726018.
  • Лю, Чжимин; Равн, Андерс П., ред. (2009). Автоматизированная технология проверки и анализа. Конспект лекций по информатике. 5799. Springer-Verlag. Дои:10.1007/978-3-642-04761-9. ISBN  978-3-642-04760-2.

Рекомендации

  1. ^ а б c "Андерс Питер Равн". Berlingske. Дания. 6 августа 2019.
  2. ^ а б c "Андерс Питер Равн". Политикен. Дания. 6 августа 2019.
  3. ^ а б c d е ж Равн, Андерс П. "Биография Резюме". Дания: Ольборгский университет. Получено 3 августа 2019.
  4. ^ "Андерс П. Равн". DBLP. Получено 3 августа 2019.
  5. ^ а б "Curriculum Vitae Anders P. Ravn". Дания: Ольборгский университет. Получено 3 августа 2019.
  6. ^ "Андерс Питер Равн 1947-2019". afdoede.dk. Дания. Получено 6 августа 2019.
  7. ^ Боуэн, Джонатан П. (Июнь 2020 г.). "In Memoriam: дань уважения пяти коллегам по формальным методам" (PDF). FACS ФАКТЫ. BCS-FACS. 2020 (1): 13–29. Дои:10.13140 / RG.2.2.13481.62560.
  8. ^ "Андерс П. Равн". Amazon.co.uk. Получено 3 августа 2019.

внешняя ссылка