Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. With Yuri Matiyasevich he obtained results about the Post correspondence problem. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"
Yuri Matiyasevich is a computer scientist. 
Жеро Сенизерг (родился в 1957 году) - французский ученый-компьютерщик из Университета Бордо. С Юрием Матиясевичем он получил результаты по проблеме почтовой переписки. Он получил премию Геделя 2002 года "за доказательство того, что эквивалентность детерминированных автоматов с принудительным запуском разрешима".
Юрий Матиясевич - специалист по информатике. 