Бруно Курсель
Бруно Курсель | |
|---|---|
| Гражданство | Французский |
| Альма-матер | Французский институт исследований в области компьютерных наук и автоматизации |
| Известный | Теорема Курселя |
| Научная карьера | |
| Поля | Теория графов , Информатика |
| Учреждения | Университет Бордо |
| Диссертация | Применение теории языка к теории схем программ (1976) |
| Докторантура | Морис Ниват |
Бруно Курсель — французский математик и ученый-компьютерщик , наиболее известный благодаря теореме Курселя в теории графов .
Жизнь
[ редактировать ]Курсель получил докторскую степень. в 1976 году из Французского института исследований в области компьютерных наук и автоматизации , тогда называвшегося IRIA, под руководством Мориса Нивата . Затем он присоединился к Бордоской исследовательской лаборатории информатики (LaBRI) в Университете Бордо 1 , где оставался до конца своей карьеры. [1] С 2007 года он является старшим членом Университетского института Франции . [2]
В 2012 году в Бордо прошел семинар в честь завершения карьеры Курселя. [1] [3] Курсель стал первым лауреатом премии С. Барри Купера Ассоциации вычислительности Европы в 2020 году. [4] В 2022 году Курсель был удостоен премии EATCS-IPEC Nerode Prize . [5]
Во время пандемии COVID-19 Курсель протестовал против обязательной вакцинации во Франции. [6]
Работа
[ редактировать ]Он известен благодаря теореме Курселя , которая сочетает в себе логику второго порядка , теорию формальных языков и древовидное разложение графов, чтобы показать, что широкий класс алгоритмических задач в теории графов имеет эффективные решения.
Известные публикации также включают:
- Бруно Курсель (1983). «Фундаментальные свойства бесконечных деревьев». Теоретическая информатика . 25 : 95–169.
- Бруно Курсель (1990). «Рекурсивные прикладные программные схемы». Ян ван Леувен (ред.). Формальные модели и семантика . Справочник по теоретической информатике. Том. Б. Эльзевир. стр. 459–492. ISBN 0-444-88074-7 .
- Бруно Курсель (1999). «Разложение иерархических графов, определяемое грамматиками и логическими формулами (приглашенная лекция)». В Палиате Нарендране; Михаил Русинович (ред.). Техники и приложения переписывания , 10-й Межд. конф., РТА-99 . ЛНКС . Том. 1631. Шпрингер-Верлаг. стр. 90–91.
Ссылки
[ редактировать ]- ^ Jump up to: Перейти обратно: а б Бруно Курсель , текст выступления Мориса Нивата на семинаре в Курселе, получено 24 июня 2014 г.
- ↑ Бруно Курсель. Архивировано 15 марта 2014 года в Wayback Machine , Университетский институт Франции , получено 24 июня 2014 г.
- ↑ Семинар Бруно, 18–20 июня 2012 г., LaBRI, Бордо , получено 24 июня 2014 г.
- ^ «Веб-сайт Ассоциации CiE: Премия С. Барри Купера 2020 года вручена Бруно Курселю» . 3 июня 2020 г. Проверено 4 августа 2022 г.
- ^ «Премия Нероде EATCS-IPEC» . Проверено 4 августа 2022 г.
- ^ Амиэль, Сандрин (26 июля 2021 г.). «Кто такие французские протестующие против правил вакцинации и чего они хотят?» . Евроньюс . Проверено 9 августа 2021 г.
Внешние ссылки
[ редактировать ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |