Jump to content

Андерс П. Рэйвен

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

Андерс Питер Равн (29 октября 1947 — 1 августа 2019) — датский учёный-компьютерщик . [1] [2]

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

С 1969 по 1973 год Андерс Равн работал ассистентом преподавателя на факультете компьютерных наук Копенгагенского университета (DIKU). [3] С 1972 по 1976 год он работал системным программистом мини -компьютеров в ранней датской компьютерной компании A/S Regnecentralen . Он вернулся в академические круги и прошел путь от доцента (1976–80) до доцента (1980–84) в DIKU. В 1982–1983 годах он был приглашенным ученым в IBM компании Исследовательском центре Томаса Дж. Уотсона в Йорктаун-Хайтс , Нью-Йорк , США . Он поступил на факультет компьютерных наук Датского технического университета (ID-DTH) в качестве лектора (1984–9), а затем читателя (1989–99) на факультете информационных технологий . В это время он также был адъюнкт-преподавателем на кафедре математики Королевского ветеринарного и сельскохозяйственного университета в Дании (1985–9), приглашенным исследователем в Оксфордском университете (1989–90) и приглашенным профессором в Институте практической математики. и информатики, Кильский университет в Германии (1994). [3] Он участвовал в проекте ESPRIT ProCoS по доказуемо корректным системам. Он был профессором-исследователем на факультете компьютерных наук Ольборгского университета (1999–2004 гг.), а затем был назначен там профессором компьютерных наук (2004–16 гг.). Затем он вышел на пенсию, став почетным профессором .

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

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

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

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

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

[ редактировать ]

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

  • Чжоу Чаочэнь ; Хоар, Африка ; Равн, Андерс П. (1991). «Исчисление длительностей». Письма об обработке информации . 40 (5): 269–276. дои : 10.1016/0020-0190(91)90122-X .
  • Гроссман, Роберт Л.; Нероде, Анил ; Равн, Андерс П.; Ришель, Ганс, ред. (1993). Гибридные системы . Конспекты лекций по информатике . Том 736. Шпрингер-Верлаг . дои : 10.1007/3-540-57318-6 . ISBN  978-3-540-57318-0 . S2CID   199561 .
  • Равн, Андерс П.; Ришель, Ганс, ред. (1998). Формальные методы в системах реального времени и отказоустойчивых системах . Конспекты лекций по информатике . Том. 1486. ​​Шпрингер-Верлаг . дои : 10.1007/BFb0055330 . ISBN  978-3-540-65003-4 . S2CID   42726018 .
  • Лю, Чжимин ; Равн, Андерс П., ред. (2009). Автоматизированная технология проверки и анализа . Конспекты лекций по информатике . Том. 5799. Шпрингер-Верлаг . дои : 10.1007/978-3-642-04761-9 . ISBN  978-3-642-04760-2 .
  1. ^ Перейти обратно: а б с «Андерс Питер Рэйвен». Берлингске . Дания. 6 августа 2019 г.
  2. ^ Перейти обратно: а б с «Андерс Питер Равн». Политика . Дания. 6 августа 2019 г.
  3. ^ Перейти обратно: а б с д и ж Равн, Андерс П. «Биографическая справка» . Дания: Ольборгский университет . Проверено 3 августа 2019 г.
  4. ^ «Андерс П. Равн» . ДБЛП . Проверено 3 августа 2019 г.
  5. ^ Перейти обратно: а б «Биографические данные Андерса П. Равна» . Дания: Ольборгский университет . Проверено 3 августа 2019 г.
  6. ^ «Андерс Питер Равн 1947 – 2019» . afdoede.dk . Дания . Проверено 6 августа 2019 г.
  7. ^ Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . 2020 (1). БКС-FACS : 13–29. дои : 10.13140/RG.2.2.13481.62560 .
  8. ^ «Андерс П. Равн» . Amazon.co.uk . Проверено 3 августа 2019 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f0603e325d9312cf1317903675553d58__1697174940
URL1:https://arc.ask3.ru/arc/aa/f0/58/f0603e325d9312cf1317903675553d58.html
Заголовок, (Title) документа по адресу, URL1:
Anders P. Ravn - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)