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. 
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"
Does this next sentence follow, given the preceding text?
Yuri Matiyasevich is a computer scientist. 

Options: 

 - yes

 - it is not possible to tell

 - no
it is not possible to tell
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"
Does this next sentence follow, given the preceding text?
Yuri Matiyasevich is a computer scientist. 

Options: 

 - yes

 - it is not possible to tell

 - no
user
it is not possible to tell
assistant