Это не официальный сайт wikipedia.org 01.01.2023

Де Бур, Франк Сипке — Википедия
Википедия

Де Бур, Франк Сипке

Статья Обсуждение
В Википедии есть статьи о других людях с фамилией де Бур.

Франк Сипке де Бур — нидерландский учёный в области теоретической информатики, известный своим вкладом по таким направлениям, как архитектура предприятия, акторские языки программирования, языки программирования на ограничениях, параллельные логические языки[en], языки координации в компонентно-ориентированном программировании, автономные агенты[en], многоагентные системы и разнообразное применение формальных методов в объектно-ориентированном контексте.

Франк Сипке де Бур
Frank Sipke de Boer
Дата рождения 1956[1]
Страна  Нидерланды
Научная сфера теоретическая информатика
Место работы CWI
Альма-матер VU
Учёная степень доктор философии (PhD) по информатике
Учёное звание профессор
Научный руководитель Яко де Бакер[de]
Сайт homepages.cwi.nl/~frb/

Окончил Университет Гронингена в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по математической логике, философии науки и информатике. Тема магистерской квалификационной работы — «Выразительность динамических логик[en]»[2] (руководитель — Йохан ван Бентем[en]).

В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени доктора философии) по информатике в Свободном университете Амстердама по теме «Рассуждения о динамически развивающихся структурах процессов»[3] под руководством Яко де Бакера[de] и на технической базе исследовательской лаборатории Philips.

Также работал в университетах Эйндховена (1989-93, доцент), Амстердама (1993—1994, доцент), Утрехта (с 1994, старший научный сотрудник и преподаватель), Лейдена (2003—2008, старший доцент, с 2008 профессор по направлению корректности программ[en]), а также в амстердамском НИИ математики и информатики (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой формальных методов[4]).

Франк де Бур — автор 65 журнальных и 145 конференционных статей[5], редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и верификации[en] последовательных и особенно параллельных программ:

  • Marc Lankhorst et al, «Enterprise Architecture at Work», Springer-Verlag Berlin Heidelberg, 2013. ISBN 978-3-642-29650-5[6].
  • Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, «Verification of Sequential and Concurrent Programs», Springer-Verlag London, 2009. ISBN 978-1-84882-744-8[7].
  • Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, «Concurrency Verification. Introduction to Compositional and Non-compositional Methods», Cambridge Tracts in Theoretical Computer Science, 2001. ISBN 9780521806084[8].

Примечания Править

  1. ↑ Leidse hoogleraren - Boer, Frank Sipke de
  2. ↑ Frank de Boer — Professional history Архивная копия от 28 мая 2015 на Wayback Machine, 2011-02-14.
  3. ↑ Frank S. de Boer Архивная копия от 29 мая 2015 на Wayback Machine в Mathematics Genealogy Project.
  4. ↑ CWI Formal Methods Research Group Архивная копия от 28 мая 2015 на Wayback Machine
  5. ↑ DBLP: Frank S. de Boer Архивная копия от 28 мая 2015 на Wayback Machine на 28 мая 2015.
  6. ↑ «Enterprise Architecture at Work — Modelling, Communication and Analysis Архивная копия от 24 сентября 2015 на Wayback Machine», Springer
  7. ↑ «Verification of Sequential and Concurrent Programs Архивная копия от 24 сентября 2015 на Wayback Machine», Springer
  8. ↑ «Concurrency Verification Архивная копия от 28 мая 2015 на Wayback Machine», Cambridge University Press

Ссылки Править

Источник — https://ru.wikipedia.org/w/index.php?title=Де_Бур,_Франк_Сипке&oldid=133040997