About: Géraud Sénizergues

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Géraud Sénizergues Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFrenchComputerScientists, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGéraud_Sénizergues&invfp=IFP_OFF&sas=SAME_AS_OFF

Géraud Sénizergues (born 9 March 1957) 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. (Doctorat d'état en Informatique) from the Université Paris Diderot (Paris 7) in 1987 under the direction of . 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 he was awarded with the Gay-Lussac Humboldt Prize.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person yago:WikicatLivingPeople Scientist yago:Acquirer109764201 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Honoree110183757 yago:Laureate110249011 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Recipient109627906 yago:WikicatGödelPrizeLaureates yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatFrenchComputerScientists
rdfs:label	Géraud Sénizergues (de) Géraud Sénizergues (fr) Géraud Sénizergues (en)
rdfs:comment	Géraud Sénizergues (* 1957) ist ein französischer Informatiker. Er ist Professor an der Universität Bordeaux am dortigen Labor für Informatik (LaBRI). Für seinen Beweis der Entscheidbarkeit der Frage der Äquivalenz von deterministischen Kellerautomaten (d. h. die Lösung des Äquivalenzproblems für deterministische Kellerautomaten) erhielt er 2002 den Gödel-Preis. 2003 erhielt er den Gay-Lussac-Humboldt-Preis. Mit Yuri Matiyasevich erzielte er Resultate zum Postschen Korrespondenzproblem. (de) Géraud Sénizergues (born 9 March 1957) 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. (Doctorat d'état en Informatique) from the Université Paris Diderot (Paris 7) in 1987 under the direction of . 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 he was awarded with the Gay-Lussac Humboldt Prize. (en) Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
foaf:homepage	http://dept-info.labri.u-bordeaux.fr/~ges/
foaf:depiction
birth date	1957-03-09 (xsd:date)
dcterms:subject	Living people 1957 births Gödel Prize laureates French computer scientists University of Bordeaux faculty
Wikipage page ID	32521590 (xsd:integer)
Wikipage revision ID	1076692074 (xsd:integer)
Link from a Wikipage to another Wikipage	University of Bordeaux Decidability (logic) Deterministic pushdown automaton Living people Gay-Lussac Humboldt Prize Combinatorial group theory Computer scientist Yuri Matiyasevich Gay-Lussac-Humboldt-Prize Post correspondence problem 1957 births Gödel Prize laureates Doctor of Philosophy Gödel Prize French computer scientists Abstract rewriting system University of Bordeaux faculty Automata theory Université Paris Diderot dbr:Jean-Michel_Autebert
Link from a Wikipage to an external page	http://dept-info.labri.u-bordeaux.fr/~ges/
sameAs	Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues Géraud Sénizergues
workplaces	University of Bordeaux
dbp:wikiPageUsesTemplate	dbt:France-scientist-stub dbt:Authority_control dbt:Reflist dbt:Birth_date_and_age dbt:MathGenealogy dbt:Infobox_scientist dbt:Gödel_Prize_laureates
thumbnail	wiki-commons:Special:FilePath/GS2017.jpg?width=300
awards	(en) Gödel Prize (en) Gay-Lussac Humboldt Prize (en)
birth date	1957-03-09 (xsd:date)
caption	Sénizergues in September 2017 (en)
fields	Computer science (en)
nationality	French (en)
website	http://dept-info.labri.u-bordeaux.fr/~ges/
has abstract	Géraud Sénizergues (* 1957) ist ein französischer Informatiker. Er ist Professor an der Universität Bordeaux am dortigen Labor für Informatik (LaBRI). Für seinen Beweis der Entscheidbarkeit der Frage der Äquivalenz von deterministischen Kellerautomaten (d. h. die Lösung des Äquivalenzproblems für deterministische Kellerautomaten) erhielt er 2002 den Gödel-Preis. 2003 erhielt er den Gay-Lussac-Humboldt-Preis. Mit Yuri Matiyasevich erzielte er Resultate zum Postschen Korrespondenzproblem. (de) Géraud Sénizergues (born 9 March 1957) 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. (Doctorat d'état en Informatique) from the Université Paris Diderot (Paris 7) in 1987 under the direction of . 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 he was awarded with the Gay-Lussac Humboldt Prize. (en) Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
institution	University of Bordeaux

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software