Вероник Брюйер

Вероник Брюйер — бельгийский учёный-компьютерщик, занимающийся теорией автоматов , темпоральной логикой и комбинаторикой слов , среди прочего, . Она является профессором информатики в Университете Монса в Бельгии.

Образование

Брюйер изучал математику в Университете Монс-Эно , одном из двух университетов, которые объединились в 2009 году в Университет Монса, и получил там степень магистра математики в 1985 году. Она защитила докторскую диссертацию. Степень бакалавра компьютерных наук в 1989 году в Парижском университете Дидро . ^{[ 1 ]} Ее диссертация «Коды префиксов, коды дешифровки » была написана под руководством Доминика Перрена . ^{[ 2 ]} Она также получила вторую докторскую степень. Степень бакалавра наук в Университете Монс-Эно в 1991 году. ^{[ 1 ]}

Карьера

Брюйер работала в Университете Монс-Эно и (после их слияния) в Университете Монса с 1985 года, когда она стала там ассистентом. В 1993 году она стала временным поверенным (примерно эквивалентным доценту), в 2000 году — профессором, а в 2012 году — полным профессором. ^{[ 1 ]} В 2001 году она стала главой лаборатории теоретической информатики в Монсе. ^{[ 3 ]} С 2009 года она возглавляет кафедру информатики Университета Монса. ^{[ 1 ]}

Исследовать

Темы исследований Брюйера включали формальную верификацию , временные автоматы , комбинаторику слов , теорию игр и теорию кодирования . ^{[ 1 ]} Помимо публикации под своим именем, она участвовала в качестве члена псевдонимного коллектива М. Лотера . ^{[ 4 ]}

Ссылки

^ Jump up to: ^а ^б ^с ^д ^и Биографические данные (PDF) , август 2017 г. , получено 3 октября 2021 г.
^ Вероник Брюйер в проекте «Математическая генеалогия»
^ Биографии докладчиков , Семинар ReLaX по играм, Математический институт Ченнаи, февраль 2021 г., по состоянию на 3 октября 2021 г.
^ Патрис Зеболь (2003), Обзор алгебраической комбинаторики слов М. Лотера, MR 1905123

Внешние ссылки

Домашняя страница
Публикации Вероники Брюйер , проиндексированные Google Scholar

[cv-1] Jump up to: ^а ^б ^с ^д ^и Биографические данные (PDF) , август 2017 г. , получено 3 октября 2021 г.

[mg-2] Вероник Брюйер в проекте «Математическая генеалогия»

[relax-3] Биографии докладчиков , Семинар ReLaX по играм, Математический институт Ченнаи, февраль 2021 г., по состоянию на 3 октября 2021 г.

[lothaire-4] Патрис Зеболь (2003), Обзор алгебраической комбинаторики слов М. Лотера, MR 1905123

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]