work_institution birth_place nationality field birth_date known_for residence prizes image article_title name alma_mater
petersburg department of steklov institute of mathematics leningrad , soviet union soviet russian mathematics and theoretical computer science 2 march 1947 his contribution to computability theory , especially soviet union russia petersburg prize -lrb- 1980 -rrb- , mathematical society prize -lrb- 1970 -rrb- , markov yuri matiyasevich . portrait 1969.jpg yuri matiyasevich
 yuri matiyasevich leningrad state university
yuri matiyasevich

yuri vladimirovich matiyasevich , -lrb- ; born march 2 , 1947 , in leningrad -rrb- is a russian mathematician and computer scientist .
he is best known for his negative solution of hilbert 's tenth problem -lrb- matiyasevich 's theorem -rrb- , presented in his doctoral thesis , at lomi -lrb- the leningrad department of the steklov institute of mathematics -rrb- .
