Бруно Курсель - Bruno Courcelle

Бруно Курсель
ГражданствоФранцузский
Альма-матерФранцузский институт исследований в области компьютерных наук и автоматизации
ИзвестенТеорема Курселя
Научная карьера
ПоляТеория графов, Информатика
УчрежденияУниверситет Бордо
ТезисПрименение теории языков в теории схем программ (1976)
ДокторантМорис Нива

Бруно Курсель француз математик и специалист в области информатики, наиболее известный Теорема Курселя в теория графов.

Жизнь

Курсель получил докторскую степень. в 1976 году из Французский институт исследований в области компьютерных наук и автоматизации, затем позвонил в IRIA под наблюдением Морис Нива. Затем он присоединился к Лаборатории борделейских исследований и информатики (LaBRI) в Университет Бордо, где он оставался до конца своей карьеры.[1] Он был старшим членом Institut Universitaire de France с 2007 года.[2]

В 2012 году в Бордо прошел семинар в честь выхода Курселя на пенсию.[1][3]

Работа

Он известен Теорема Курселя, который объединяет логика второго порядка, теория формальные языки, и древовидные разложения графов показать, что широкий класс алгоритмических задач в теория графов есть эффективные решения.

Рекомендации

  1. ^ а б Бруно Курсель, текст замечаний представил Морис Нива в мастерской Courcelle, получено 24 июня 2014 г.
  2. ^ Бруно Курсель В архиве 15 марта 2014 г. Wayback Machine, Institut Universitaire de France, дата обращения 24.06.2014.
  3. ^ Мастерская Бруно, 18-20 июня 2012 г., Лабри, Бордо, дата обращения 24.06.2014.

внешняя ссылка