Де Бур, Франк Сипке: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
м →Преамбула: орфография |
→Преамбула: существует русскоязычная статья |
||
| Строка 25: | Строка 25: | ||
|Сайт = https://homepages.cwi.nl/~frb/ |
|Сайт = https://homepages.cwi.nl/~frb/ |
||
}} |
}} |
||
'''Франк Сипке де Бур''' — нидерландский учёный в области [[теоретическая информатика|теоретической информатики]], известный своим вкладом по таким направлениям, как |
'''Франк Сипке де Бур''' — нидерландский учёный в области [[теоретическая информатика|теоретической информатики]], известный своим вкладом по таким направлениям, как [[архитектура предприятия]], [[модель акторов|акторские языки программирования]], [[программирование в ограничениях|языки программирования на ограничениях]], {{iw|параллельные логические языки|||Concurrent logic programming}}, [[язык координации|языки координации]] в [[компонентно-ориентированное программирование|компонентно-ориентированном программировании]], {{iw|автономный агент|автономные агенты||Autonomous agent}}, [[многоагентная система|многоагентные системы]] и разнообразное применение [[формальные методы|формальных методов]] в [[объектно-ориентированное программирование|объектно-ориентированном]] контексте. |
||
Окончил [[Университет Гронингена]] в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по [[математическая логика|математической логике]], [[философия науки|философии науки]] и [[информатика|информатике]]. Тема магистерской квалификационной работы — «[[Выразительность (программирование)|Выразительность]] {{iw|Динамическая логика (модальная логика)|динамических логик||Dynamic logic (modal logic)}}»<ref>[http://homepages.cwi.nl/~frb/cv/node1.html Frank de Boer — Professional history] {{Wayback|url=http://homepages.cwi.nl/~frb/cv/node1.html |date=20150528221145 }}, 2011-02-14.</ref> (руководитель — {{iw|ван Бентем, Йохан|Йохан ван Бентем||Johan van Benthem (logician)}}). |
Окончил [[Университет Гронингена]] в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по [[математическая логика|математической логике]], [[философия науки|философии науки]] и [[информатика|информатике]]. Тема магистерской квалификационной работы — «[[Выразительность (программирование)|Выразительность]] {{iw|Динамическая логика (модальная логика)|динамических логик||Dynamic logic (modal logic)}}»<ref>[http://homepages.cwi.nl/~frb/cv/node1.html Frank de Boer — Professional history] {{Wayback|url=http://homepages.cwi.nl/~frb/cv/node1.html |date=20150528221145 }}, 2011-02-14.</ref> (руководитель — {{iw|ван Бентем, Йохан|Йохан ван Бентем||Johan van Benthem (logician)}}). |
||
Текущая версия от 14:44, 16 сентября 2023
| Франк Сипке де Бур | |
|---|---|
| Frank Sipke de Boer | |
| Дата рождения | 1956[1] |
| Страна |
 Нидерланды |
| Род деятельности | специалист в области информатики |
| Научная сфера | теоретическая информатика |
| Место работы | CWI |
| Альма-матер | VU |
| Учёная степень |
доктор философии (PhD) по информатике |
| Учёное звание | профессор |
| Научный руководитель | Яко де Бакер[нем.] |
| Сайт | homepages.cwi.nl/~frb/ |
Франк Сипке де Бур — нидерландский учёный в области теоретической информатики, известный своим вкладом по таким направлениям, как архитектура предприятия, акторские языки программирования, языки программирования на ограничениях, параллельные логические языки[англ.], языки координации в компонентно-ориентированном программировании, автономные агенты[англ.], многоагентные системы и разнообразное применение формальных методов в объектно-ориентированном контексте.
Окончил Университет Гронингена в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по математической логике, философии науки и информатике. Тема магистерской квалификационной работы — «Выразительность динамических логик[англ.]»[2] (руководитель — Йохан ван Бентем[англ.]).
В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени доктора философии) по информатике в Свободном университете Амстердама по теме «Рассуждения о динамически развивающихся структурах процессов»[3] под руководством Яко де Бакера[нем.] и на технической базе исследовательской лаборатории Philips.
Также работал в университетах Эйндховена (1989-93, доцент), Амстердама (1993—1994, доцент), Утрехта (с 1994, старший научный сотрудник и преподаватель), Лейдена (2003—2008, старший доцент, с 2008 профессор по направлению корректности программ[англ.]), а также в амстердамском НИИ математики и информатики (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой формальных методов[4]).
Франк де Бур — автор 65 журнальных и 145 конференционных статей[5], редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и верификации[англ.] последовательных и особенно параллельных программ:
- 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].
Примечания
[править | править код]- ↑ Leidse hoogleraren - Boer, Frank Sipke de
- ↑ Frank de Boer — Professional history Архивная копия от 28 мая 2015 на Wayback Machine, 2011-02-14.
- ↑ Frank S. de Boer Архивная копия от 29 мая 2015 на Wayback Machine в Mathematics Genealogy Project.
- ↑ CWI Formal Methods Research Group Архивная копия от 28 мая 2015 на Wayback Machine
- ↑ DBLP: Frank S. de Boer Архивная копия от 28 мая 2015 на Wayback Machine на 28 мая 2015.
- ↑ «Enterprise Architecture at Work — Modelling, Communication and Analysis Архивная копия от 24 сентября 2015 на Wayback Machine», Springer
- ↑ «Verification of Sequential and Concurrent Programs Архивная копия от 24 сентября 2015 на Wayback Machine», Springer
- ↑ «Concurrency Verification Архивная копия от 28 мая 2015 на Wayback Machine», Cambridge University Press
Ссылки
[править | править код]- homepages.cwi.nl/~frb/ — официальный сайт Франка де Бура