Jump to content

Патрисия Буйе-Децитр

Патрисия Буйе-Децитр (известная как Патриция Буйе, 1976 г.р.) — французский учёный-теоретик в области информатики, известная своими исследованиями в области синхронизированных автоматов , проверки моделей и темпоральной логики . [1] Она является старшим научным сотрудником Национального центра научных исследований Франции (CNRS) и директором Laboratoire Méthodes Formelles (Лаборатории формальных методов) CNRS и Высшей нормальной школы Париж-Сакле . [2]

Образование и карьера

[ редактировать ]

Патрисия Буйер родилась в 1976 году. [1] Она стала студенткой ENS Paris-Saclay (известной в то время как ENS Cachan) в 1996 году, получив степень магистра (степень магистра) по математике в 1997 году, вторую степень магистра и диплом по информатике в 1998 году, а также сдав агрегирование по математике в 1999 году. [3]

В 2002 году она защитила докторскую диссертацию в Лабораторной спецификации и проверке CNRS и ENS Cachan; ее диссертацию « и алгоритмы проверки временных систем курировал » Модели Антуан Пети [ fr ] . [1] [3] [4] В 2009 году она закончила абилитацию в Парижском университете Дидро , защитив докторскую диссертацию « От качественного к количественному анализу временных систем» . [1]

В 2002 году она работала научным сотрудником в Ольборгском университете , а в 2002 году стала младшим научным сотрудником CNRS. В 2010 году ей присвоено звание старшего научного сотрудника. [3]

Бойер известен несколькими важными результатами по синхронизированным автоматам . В работе, начавшейся в 1997 году и завершившейся публикацией в 2003 году вместе с Лукой Ачето, Аугусто Бургено и Ким Ларсен, Буйер охарактеризовал свойства, которые можно описать с точки зрения достижимости в синхронизированных автоматах. [1] [А] Вместе с Пети и Дени Терьеном она нашла аналоги теоремы Клини для временных автоматов, показав их эквивалентность некоторым классам формальных языков . [1] [Б] Вместе с Катрин Дюфур, Эммануэлем Флери и Антуаном Пети она представила обновляемые временные автоматы, расширения временных автоматов с помощью операций, которые обновляют временные переменные, а не просто сбрасывают их в ноль, и нашла несколько важных подклассов этих автоматов, для которых проблема пустоты разрешима. . [1] [С]

В области темпоральной логики Буйе работал с Фабрисом Шевалье и Николя Марки, чтобы доказать большую выразительность одной формы темпоральной логики, временной пропозициональной темпоральной логики , по сравнению с другой, метрической темпоральной логикой . [1] [Г] Другие темы ее исследований включают применение синхронизированных автоматов для обнаружения неисправностей . [И] добавление затрат и энергетических ограничений к синхронизированным автоматам, [Д] [Ф] и существование равновесий Нэша во временных версиях теории игр . [ЧАС]

Признание

[ редактировать ]

Буйе-Децитр выиграла бронзовую медаль CNRS в 2007 году. В 2011 году она стала лауреатом премии Пресбургера Европейской ассоциации теоретической информатики . [1]

Избранные публикации

[ редактировать ]
А.
Ачето, Лука; Буйер, Патрисия; Бургеньо, Аугусто; Ларсен, Ким Г. (2003), «Сила тестирования достижимости для временных автоматов», Theoretical Computer Science , 300 (1–3): 411–475, doi : 10.1016/S0304-3975(02)00334-1 , MR   1976188
Б.
Буйер, Патрисия; Пети, Антуан; Териен, Дени (2003), «Алгебраический подход к языкам данных и синхронизированным языкам», Information and Computation , 182 (2): 137–162, doi : 10.1016/S0890-5401(03)00038-5 , MR   1971488
С.
Буйер, Патрисия; Дюфур, Кэтрин; Флери, Эммануэль; Пети, Антуан (2004), «Обновляемые временные автоматы», Theoretical Computer Science , 321 (2–3): 291–345, doi : 10.1016/j.tcs.2004.04.003 , MR   2076150
Д.
Буйер, Патрисия; Кассез, Франк; Флери, Эммануэль; Ларсен, Ким Г. (2004), «Оптимальные стратегии в игровых автоматах с фиксированной ценой», FSTTCS 2004: Основы программных технологий и теоретической информатики (PDF) , Конспекты лекций по информатике, том. 3328, Springer, стр. 148–160, номер документа : 10.1007/978-3-540-30538-5_13 , ISBN.  978-3-540-24058-7 , МР   2140392 , S2CID   3252817
И.
Буйер, Патрисия; Шевалье, Фабрис; Д'Суза, Дипак (2005), «Диагностика неисправностей с использованием временных автоматов», «Основы науки о программном обеспечении и вычислительных структур » , конспекты лекций по информатике, том. 3441, Springer, стр. 219–233, номер документа : 10.1007/978-3-540-31982-5_14 , ISBN.  978-3-540-25388-4 , МР   2179118
Ф.
Буйер, Патрисия; Фаренберг, Ульрих; Ларсен, Ким Гулдстранд; Марки, Николас; Срба, Ири (2008), «Бесконечные прогоны в автоматах с взвешенным таймером и энергетическими ограничениями», в Кассесе, Франке; Жард, Клод (ред.), Формальное моделирование и анализ временных систем , Конспект лекций по информатике, том. 5215, Springer, стр. 33–47, номер документа : 10.1007/978-3-540-85778-5_4 , ISBN.  978-3-540-85777-8 , S2CID   3064045
Г.
Буйер, Патрисия; Шевалье, Фабрис; Марки, Николас (2010), «О выраженности TPTL и MTL», Information and Computation , 208 (2): 97–116, doi : 10.1016/j.ic.2009.10.004 , MR   2597448
ЧАС.
Буйер, Патрисия; Бренгье, Ромен; Марки, Николас; Уммельс, Майкл (2015), «Чистые равновесия Нэша в параллельных детерминированных играх», Логические методы в информатике , 11 (2): 2:9, arXiv : 1503.06826 , doi : 10.2168/LMCS-11(2:9)2015 , МР   3368955 , S2CID   6948997
  1. ^ Jump up to: а б с д и ж г час я Премия Пресбургера 2011 г. , Европейская ассоциация теоретической информатики , получено 24 мая 2021 г.
  2. ^ «Патриция Буйе-Децитр» , Лаборатория спецификации и проверки , ENS Paris-Saclay , получено 24 мая 2021 г.
  3. ^ Jump up to: а б с Биографические данные (PDF) , получено 24 мая 2021 г.
  4. ^ Патрисия Буйе-Децитр в проекте «Математическая генеалогия»
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 66015d9e843dae1d9d93166bf565e071__1701201000
URL1:https://arc.ask3.ru/arc/aa/66/71/66015d9e843dae1d9d93166bf565e071.html
Заголовок, (Title) документа по адресу, URL1:
Patricia Bouyer-Decitre - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)