Yuri Matiyasevich

Yuri Matiyasevich
Image:Matiyasevich.jpg
Born	March 2 1947 (1947-03-02) (age 62) Leningrad, USSR
Residence	USSR, Russia
Nationality	Russian
Field	Mathematics and Theoretical computer science
Institutions	Petersburg Department of Steklov Institute of Mathematics
Alma mater	Leningrad State University
Known for	his contribution to computability theory, especially solving Hilbert's tenth problem
Notable awards	Markov Prize (1980), Humboldt Award (1998)

Yuri Vladimirovich Matiyasevich, (Russian: Юрий Владимирович Матиясевич; born March 2, 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem, presented in his doctoral thesis, at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).

Biography

In 1962-1963 studies at Saint Petersburg Lyceum 239.
In 1963-1964 studies at Kolmogorov School.
In 1964-1969 studies at Mathematics & Mechanics Faculty of Leningrad State University. As a winner of IMO Yuri Matiyasevich was accepted without exams to LSU, skipping the last year of high school studies.
In 1966 he presented a talk at International Congress of Mathematicians held in Moscow. He was a second year undergraduate student at that time.
In 1969-1970 Ph.D. studies at Leningrad Department of Steklov Institute of Mathematics under supervision of Sergey Maslov.
In 1970 he received Ph.D. degree at LOMI.
In 1970-1974 researcher at LOMI.
In 1972 he obtained a second doctoral degree (called "doktor nauk" in Soviet Union).
In 1974-1980 senior researcher at LOMI.
Since 1980 Yuri Matiyasevich is the head of Laboratory of mathematical logic at LOMI.
Since 1995 he is a professor of Saint-Petersburg State University, initially at the chair of software engineering, later at the chair of algebra and number theory.
In 1997 he was elected as a corresponding member of Russian Academy of Sciences.
Since 1998 Yuri Matiyasevich is a vice-president of St. Petersburg Mathematical Society.
Since 2002 he is a head of St.Petersburg City Mathematical Olympiad.
Since 2003 Yuri Matiyasevich is a co-director of annual German-Russian student school JASS.

In 1964 Yuri Matiyasevich won a gold medal at International Mathematical Olympiad held in Moscow.
In 1970 Yuri Matiyasevich received the "Young mathematician" prize of the Leningrad Mathematical Society.
In 1980 Yuri Matiyasevich received a Markov Prize of Academy of Sciences of the USSR.
In 1996 Docteur Honoris Causa de l'Université d'Auvergne.
In 1998 he received Humboldt Research Award to Outstanding Scholars.
In 2003 Docteur Honoris Causa de l'Université Pierre et Marie Curie (Paris-6).
In 2007 he was elected to Bayern Academy of Sciences.

Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN-10: 0-262-13295-8.

Yuri Matiyasevich, Real-time recognition of the inclusion relation (on-line version), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns (on-line version), Acta Arithmetica, XXVII (1975), 521-549.
Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules (on-line version), LICS'96.
Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (on-line version), Personal Journal of Yury Matiyasevich.
Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (on-line version), Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, (on-line version), Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture (on-line version), Journal of Graph Theory, 2003.