Андерс П. Рэйвен
Андерс П. Рэйвен | |
---|---|
Рожденный | |
Умер | 1 августа 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 гг.). Затем он вышел на пенсию, став почетным профессором .
Равн специализировался на исследованиях формальных методов , особенно для встроенных и гибридных систем . [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 .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с «Андерс Питер Рэйвен». Берлингске . Дания. 6 августа 2019 г.
- ^ Перейти обратно: а б с «Андерс Питер Равн». Политика . Дания. 6 августа 2019 г.
- ^ Перейти обратно: а б с д и ж Равн, Андерс П. «Биографическая справка» . Дания: Ольборгский университет . Проверено 3 августа 2019 г.
- ^ «Андерс П. Равн» . ДБЛП . Проверено 3 августа 2019 г.
- ^ Перейти обратно: а б «Биографические данные Андерса П. Равна» . Дания: Ольборгский университет . Проверено 3 августа 2019 г.
- ^ «Андерс Питер Равн 1947 – 2019» . afdoede.dk . Дания . Проверено 6 августа 2019 г.
- ^ Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . 2020 (1). БКС-FACS : 13–29. дои : 10.13140/RG.2.2.13481.62560 .
- ^ «Андерс П. Равн» . Amazon.co.uk . Проверено 3 августа 2019 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Андерс П. Равн на ResearchGate
- Андерса П. Равна Индекс публикаций от DBLP
- Публикации Андерса П. Равна , проиндексированные Google Scholar
- Андерс П. Равн в Датской национальной исследовательской базе данных
- 1947 рождений
- смертей в 2019 году
- Люди из Каракаса
- Выпускники Копенгагенского университета
- Выпускники Технического университета Дании
- Датские программисты
- Датские ученые-компьютерщики
- сотрудники IBM
- Академический состав Копенгагенского университета
- Академический состав Технического университета Дании
- Академический состав Ольборгского университета
- Формальные методы люди
- Рыцари ордена Даннеброга