Де Бур, Франк Сипке: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правка
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→Ссылки: орфография
→Преамбула: существует русскоязычная статья
 
(не показано 5 промежуточных версий 5 участников)
Строка 25: Строка 25:
|Сайт = https://homepages.cwi.nl/~frb/
|Сайт = https://homepages.cwi.nl/~frb/
}}
}}
'''Франк Сипке де Бур''' — нидерландский учёный в области [[теоретическая информатика|теоретической информатики]], известный своим вкладом по таким направлениям, как {{iw|корпоративная архитектура|||Enterprise architecture}}, [[модель акторов|акторские языки программирования]], [[программирование в ограничениях|языки программирования на ограничениях]], {{iw|параллельные логические языки|||Concurrent logic programming}}, [[язык координации|языки координации]] в [[компонентно-ориентированное программирование|компонентно-ориентированном программировании]], {{iw|автономный агент|автономные агенты||Autonomous agent}}, [[многоагентная система|многоагентные системы]] и разнообразное применение [[формальные методы|формальных методов]] в [[объектно-ориентированное программирование|объектно-ориентированном]] контексте.
'''Франк Сипке де Бур''' — нидерландский учёный в области [[теоретическая информатика|теоретической информатики]], известный своим вкладом по таким направлениям, как [[архитектура предприятия]], [[модель акторов|акторские языки программирования]], [[программирование в ограничениях|языки программирования на ограничениях]], {{iw|параллельные логические языки|||Concurrent logic programming}}, [[язык координации|языки координации]] в [[компонентно-ориентированное программирование|компонентно-ориентированном программировании]], {{iw|автономный агент|автономные агенты||Autonomous agent}}, [[многоагентная система|многоагентные системы]] и разнообразное применение [[формальные методы|формальных методов]] в [[объектно-ориентированное программирование|объектно-ориентированном]] контексте.


Закончил [[Университет Гронингена]] в 1985 году с дипломом магистра философии, прослушав среди прочего курсы по [[математическая логика|математической логике]], [[философия науки|философии науки]] и [[информатика|информатике]]. Тема магистерской квалификационной работы — «{{iw|Выразительность|||Expressive power (computer science)}} {{iw|Динамическая логика (модальная логика)|динамических логик||Dynamic logic (modal logic)}}»<ref>[http://homepages.cwi.nl/~frb/cv/node1.html Frank de Boer — Professional history], 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)}}).


В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени [[доктор философии|доктора философии]]) по информатике в [[Амстердамский свободный университет|Свободном университете Амстердама]] по теме «Рассуждения о динамически развивающихся стуктур процессов»<ref>[http://www.genealogy.ams.org/id.php?id=102987 Frank S. de Boer] в [[Mathematics Genealogy Project]].</ref> под руководством {{iw|де Бакер, Яко|Яко де Бакера|de|Jaco de Bakker}} и на технической базе исследовательской лаборатории [[Philips]].
В 1991 защитил кандидатскую диссертацию (точнее, диссертацию на соискание степени [[доктор философии|доктора философии]]) по информатике в [[Амстердамский свободный университет|Свободном университете Амстердама]] по теме «Рассуждения о динамически развивающихся структурах процессов»<ref>[http://www.genealogy.ams.org/id.php?id=102987 Frank S. de Boer] {{Wayback|url=http://www.genealogy.ams.org/id.php?id=102987 |date=20150529001511 }} в [[Mathematics Genealogy Project]].</ref> под руководством {{iw|де Бакер, Яко|Яко де Бакера|de|Jaco de Bakker}} и на технической базе исследовательской лаборатории [[Philips]].


Также работал в университетах [[Технический университет Эйндховена|Эйндховена]] (1989-93, доцент), [[Амстердамский свободный университет|Амстердама]] (1993—1994, доцент), [[Утрехтский университет|Утрехта]] (с 1994, старший научный сотрудник и преподаватель), [[Лейденский университет|Лейдена]] (2003—2008, старший доцент, с 2008 [[профессор]] по направлению {{iw|корректность программ|корректности программ||Correctness (computer science)}}), а также в амстердамском [[НИИ]] [[CWI|математики и информатики]] (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой [[формальные методы|формальных методов]]<ref>[https://www.cwi.nl/research-groups/Formal-Methods CWI Formal Methods Research Group] {{Wayback|url=https://www.cwi.nl/research-groups/Formal-Methods |date=20150528224717 }}</ref>).
Также работал в университетах [[Технический университет Эйндховена|Эйндховена]] (1989-93, доцент), [[Амстердамский свободный университет|Амстердама]] (1993—1994, доцент), [[Утрехтский университет|Утрехта]] (с 1994, старший научный сотрудник и преподаватель), [[Лейденский университет|Лейдена]] (2003—2008, старший доцент, с 2008 [[профессор]] по направлению {{iw|корректность программ|корректности программ||Correctness (computer science)}}), а также в амстердамском [[НИИ]] [[CWI|математики и информатики]] (1985—1989, аспирант; с 2002 старший научный сотрудник, заведующий кафедрой [[формальные методы|формальных методов]]<ref>[https://www.cwi.nl/research-groups/Formal-Methods CWI Formal Methods Research Group] {{Wayback|url=https://www.cwi.nl/research-groups/Formal-Methods |date=20150528224717 }}</ref>).


Франк де Бур — автор 65 журнальных и 145 конференционных статей<ref>[http://dblp.uni-trier.de/pers/hd/b/Boer:Frank_S=_de.html DBLP: Frank S. de Boer] на 28 мая 2015.</ref>, редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и {{iw|верификация программного обеспечения|верификации||Software verification}} последовательных и особенно [[параллелизм (информатика)|параллельных]] программ:
Франк де Бур — автор 65 журнальных и 145 конференционных статей<ref>[http://dblp.uni-trier.de/pers/hd/b/Boer:Frank_S=_de.html DBLP: Frank S. de Boer] {{Wayback|url=http://dblp.uni-trier.de/pers/hd/b/Boer:Frank_S=_de.html |date=20150528224949 }} на 28 мая 2015.</ref>, редактор 14 сборников трудов и соавтор трёх монографий по корпоративной архитектуре и {{iw|верификация программного обеспечения|верификации||Software verification}} последовательных и особенно [[параллелизм (информатика)|параллельных]] программ:
* Marc Lankhorst et al, «Enterprise Architecture at Work», Springer-Verlag Berlin Heidelberg, 2013. ISBN 978-3-642-29650-5<ref>[http://www.springer.com/gp/book/9783642296505 Enterprise Architecture at Work — Modelling, Communication and Analysis | Springer<!-- Заголовок добавлен ботом -->]</ref>.
* Marc Lankhorst et al, «Enterprise Architecture at Work», Springer-Verlag Berlin Heidelberg, 2013. ISBN 978-3-642-29650-5<ref>«[http://www.springer.com/gp/book/9783642296505 Enterprise Architecture at Work — Modelling, Communication and Analysis] {{Wayback|url=http://www.springer.com/gp/book/9783642296505 |date=20150924134201 }}», [[Springer Science+Business Media|Springer]]</ref>.
* 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<ref>[http://www.springer.com/gp/book/9781848827448 Verification of Sequential and Concurrent Programs | Springer<!-- Заголовок добавлен ботом -->]</ref>.
* 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<ref>«[http://www.springer.com/gp/book/9781848827448 Verification of Sequential and Concurrent Programs] {{Wayback|url=http://www.springer.com/gp/book/9781848827448 |date=20150924134101 }}», [[Springer Science+Business Media|Springer]]</ref>.
* 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<ref>[http://www.cambridge.org/asia/catalogue/catalogue.asp?isbn=9780521806084 Concurrency Verification — 9780521806084 — Cambridge University Press<!-- Заголовок добавлен ботом -->]</ref>.
* 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<ref>«[http://www.cambridge.org/asia/catalogue/catalogue.asp?isbn=9780521806084 Concurrency Verification] {{Wayback|url=http://www.cambridge.org/asia/catalogue/catalogue.asp?isbn=9780521806084 |date=20150528225048 }}», [[Cambridge University Press]]</ref>.


== Примечания ==
== Примечания ==
Строка 43: Строка 43:
== Ссылки ==
== Ссылки ==
* {{Официальный сайт|https://homepages.cwi.nl/~frb/|Франка де Бура}}
* {{Официальный сайт|https://homepages.cwi.nl/~frb/|Франка де Бура}}

{{внешние ссылки}}
[[Категория:Учёные в области информатики]]

Текущая версия от 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].

Примечания

[править | править код]
  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/ruwiki/w/index.php?title=Де_Бур,_Франк_Сипке&oldid=133040997