Жеро Сенизерг
Жеро Сенизерг | |
|---|---|
 Сенизерг в сентябре 2017 года | |
| Рожденный | 9 марта 1957 г. |
| Национальность | Французский |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Бордо |
| Веб-сайт | отдел-информация |
Жеро Сенизерг (родился 9 марта 1957 г.) — французский ученый-компьютерщик из Университета Бордо .
Он известен своим вкладом в теорию автоматов , комбинаторную теорию групп и абстрактные системы переписывания . [ 1 ]
Он получил степень доктора философии (государственный доктор компьютерных наук) в Университете Парижа Дидро (Париж 7) в 1987 году под руководством Жана-Мишеля Отбера . [ 2 ]
Вместе с Юрием Матиясевичем он получил результаты по проблеме соответствия Поста . [ 3 ] В 2002 году он получил премию Гёделя «за доказательство того, что эквивалентность детерминированных автоматов с выталкиванием » разрешима . [ 4 ] [ 5 ] [ 6 ] В 2003 году он был удостоен премии Гей-Люссака Гумбольдта .
Ссылки
[ редактировать ]- ^ «DBLP Жеро Сенизерг» .
- ^ «Проект математической генеалогии, Жеро Сенизерг» .
- ^ Матиясевич Ю.; Сенизерг, Г. (1996). «Задачи решения для систем полуТуэ с несколькими правилами». Материалы 11-го ежегодного симпозиума IEEE по логике в информатике . Нью-Брансуик, Нью-Джерси, США: IEEE Comput. Соц. Нажимать. стр. 523–531. дои : 10.1109/LICS.1996.561469 . ISBN 9780818674631 . S2CID 14296200 .
- ^ «Премия Гёделя 2002» . sigact.org . Проверено 10 мая 2019 г.
- ^ Сенизерг, Жеро (1997). Дегано, Пьерпаоло; Горрьери, Роберто; Маркетти-Спаккамела, Альберто (ред.). «Проблема эквивалентности для детерминированных автоматов с выталкиванием разрешима». Автоматы, языки и программирование . Конспекты лекций по информатике. 1256 . Шпрингер Берлин Гейдельберг: 671–681. дои : 10.1007/3-540-63165-8_221 . ISBN 9783540691945 .
- ^ Сенизерг, Жеро (2001). «L(A)=L(B)? Разрешимость следует из полных формальных систем» . Теоретическая информатика . 251 (1–2): 1–166. дои : 10.1016/S0304-3975(00)00285-1 .
Внешние ссылки
[ редактировать ]
  | Эта статья о французском ученом незавершена . Вы можете помочь Википедии, расширив ее . |