Франк Сипке де Бур | |
Frank Sipke de Boer | |
Дата рождения: |
неизвестно |
---|---|
Страна: | |
Научная сфера: | |
Место работы: | |
Учёная степень: |
доктор философии (PhD) по информатике |
Учёное звание: | |
Альма-матер: | |
Научный руководитель: | |
Сайт: |
homepages.cwi.nl/~frb/ |
Франк Сипке де Бур — нидерландский учёный в области теоретической информатики, известный своим вкладом по таким направлениям, как корпоративная архитектура[en], акторские языки программирования, языки программирования на ограничениях, параллельные логические языки[en], языки координации в компонентно-ориентированном программировании, автономные агенты[en], многоагентные системы и разнообразное применение формальных методов в объектно-ориентированном контексте.
Закончил Университет Гронингена в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по математической логике, философии науки и информатике. Тема магистерской квалификационной работы — «Выразительность[en] динамических логик[en]»[1] (руководитель — Йохан ван Бентем[en]). В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени доктора философии) по информатике в Свободном университете Амстердама по теме «Рассуждения о динамически развивающихся стуктур процессов»[2] под руководством Яко де Бакера[de] и на технической базе исследовательской лаборатории Philips. Также работал в университетах Эйндховена (1989-93, доцент), Амстердама (1993—1994, доцент), Утрехта (с 1994, старший научный сотрудник и преподаватель), Лейдена (2003—2008, старший доцент, с 2008 профессор по направлению корректности программ[en]), а также в амстердамском НИИ математики и информатики (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой формальных методов[3]).
Франк де Бур — автор 65 журнальных и 145 конференционных статей[4], редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и верификации[en] последовательных и особенно параллельных программ:
Де Бур, Франк Сипке.