Франк Сипке де Бур — нидерландский учёный в области теоретической информатики, известный своим вкладом по таким направлениям, как архитектура предприятия, акторские языки программирования, языки программирования на ограничениях, , языки координации в компонентно-ориентированном программировании, , многоагентные системы и разнообразное применение формальных методов в объектно-ориентированном контексте.
Окончил Университет Гронингена в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по математической логике, философии науки и информатике. Тема магистерской квалификационной работы — «Выразительность »Frank de Boer — Professional history , 2011-02-14. (руководитель — ).
В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени доктора философии) по информатике в Свободном университете Амстердама по теме «Рассуждения о динамически развивающихся структурах процессов»Frank S. de Boer в Mathematics Genealogy Project. под руководством и на технической базе исследовательской лаборатории Philips.
Также работал в университетах Эйндховена (1989-93, доцент), Амстердама (1993—1994, доцент), Утрехта (с 1994, старший научный сотрудник и преподаватель), Лейдена (2003—2008, старший доцент, с 2008 профессор по направлению ), а также в амстердамском НИИ математики и информатики (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой формальных методовCWI Formal Methods Research Group ).
Франк де Бур — автор 65 журнальных и 145 конференционных статейDBLP: Frank S. de Boer на 28 мая 2015., редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и последовательных и особенно параллельных программ: Marc Lankhorst et al, «Enterprise Architecture at Work», Springer-Verlag Berlin Heidelberg, 2013. ISBN 978-3-642-29650-5«Enterprise Architecture at Work — Modelling, Communication and Analysis », Springer. 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«Verification of Sequential and Concurrent Programs », Springer. 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«Concurrency Verification », Cambridge University Press.
Примечания
Ссылки
Категория:Учёные в области информатики