Жеро Сенизерг
Жеро Сенизерг | |
|---|---|
 Сенизерг в сентябре 2017 г. | |
| Рожденный | ( 1957-03-09 )9 марта 1957 г. |
| Национальность | Французский |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Бордо |
| Веб-сайт | dept-info.labri.u-bordeaux.fr/~ges/ |
Жеро Сенизерг (родился 9 марта 1957 года) — французский учёный-компьютерщик из Университета Бордо .
Он известен своим вкладом в теорию автоматов , комбинаторную теорию групп и абстрактные переписывающие системы . [1]
Он получил докторскую степень. (Доктор информатики) Парижского университета Дидро (Париж 7) в 1987 году под руководством Жана-Мишеля Отбера. [2]
Совместно с Юрием Матиясевичем он получил результаты по проблеме соответствий Поста . [3] В 2002 году он получил премию Гёделя «за доказательство того , что эквивалентность детерминированных магазинных автоматов разрешима ». [4] [5] [6] В 2003 году он был удостоен премии Гей-Люссака Гумбольдта .
Ссылки
- ^ "DBLP Жеро Сенизерг".
- ^ «Проект математической генеалогии, Жеро Сенизерг».
- ^ Matiyasevich, Y.; Senizergues, G. (1996). "Проблемы принятия решений для полусистем Туэ с несколькими правилами". Труды 11-го ежегодного симпозиума IEEE по логике в компьютерных науках . Нью-Брансуик, Нью-Джерси, США: IEEE Comput. Soc. Press. стр. 523–531. doi :10.1109/LICS.1996.561469. ISBN 9780818674631. S2CID 14296200.
- ^ "Премия Гёделя 2002 года". sigact.org . Получено 10 мая 2019 г. .
- ^ Sénizergues, Géraud (1997). Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto (ред.). "Проблема эквивалентности для детерминированных магазинных автоматов разрешима". Automata, Languages and Programming . Lecture Notes in Computer Science. 1256 . Springer Berlin Heidelberg: 671–681. doi :10.1007/3-540-63165-8_221. ISBN 9783540691945.
- ^ Сенизерг, Жеро (2001). «L(A)=L(B)? разрешимость следует из полных формальных систем». Теоретическая информатика . 251 (1–2): 1–166. doi : 10.1016/S0304-3975(00)00285-1 .
Внешние ссылки
- Домашняя страница
- Жеро Сенизерг в проекте «Генеалогия математики»
  | Эта статья о французском ученом — заглушка . Вы можете помочь Википедии, дополнив ее. |
