Géraud Sénizergues
id:
g-raud-s-nizergues-235-16595081
title:
Géraud Sénizergues
text:
Géraud Sénizergues is a French computer scientist at the University of Bordeaux. He is known for his contributions to automata theory, combinatorial group theory and abstract rewriting systems. He received his Ph.D. from the Université Paris Diderot in 1987 under the direction of Jean-Michel Autebert. 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". In 2003
brand slug:
wiki
category slug:
encyclopedia
description:
French computer scientist
original url:
https://en.wikipedia.org/wiki/G%C3%A9raud_S%C3%A9nizergues
date created:
date modified:
2023-07-23T19:44:50Z
main entity:
{"identifier":"Q3124458","url":"https://www.wikidata.org/entity/Q3124458"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/8/87/GS2017.jpg","width":3024,"height":4032}
fields total:
13
integrity:
15