- In 1962–1963, Matiyasevich studied at Saint Petersburg Lyceum 239;
- In 1963–1964, he studied at Kolmogorov School; in 1964 he was the absolute winner of the All-Union Olympiad in mathematics
- In 1964–1969, Matiyasevich studied at the Mathematics & Mechanics Faculty of Leningrad State University. By qualifying for the USSR team for the International Mathematical Olympiad (where he won a gold medal), Yuri Matiyasevich was accepted without exams to Leningrad State University, 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, he pursued doctoral studies at Leningrad Department of Steklov Institute of Mathematics under supervision of Sergey Maslov.
- In 1970, he received his doctorate (Candidate degree, equivalent to Ph.D) at LOMI and gave an invited talk at International Congress of Mathematicians held in Nice on the undecidability of Hilbert’s tenth problem.
- In 1970–1974, he was a researcher at LOMI.
- In 1972, he obtained a second doctoral degree (equivalent to habilitation or D.Sc, called "doktor nauk" in Soviet Union).
- In 1974–1980, he was a senior researcher at LOMI.
- In 1980-2018, Yuri Matiyasevich was the head of Laboratory of mathematical logic at LOMI.
- Since 1995, he has been 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 has been a vice-president of St. Petersburg Mathematical Society.
- Since 2002, he has been a head of St.Petersburg City Mathematical Olympiad.
- Since 2003, Matiyasevich has been a co-director of annual German–Russian student school JASS.
- In 2008, he was elected as a full member of Russian Academy of Sciences.
Awards and honorsEdit
- A polynomial related to the colorings of a triangulation of a sphere was named after Matiyasevich; see The Matiyasevich polynomial, four colour theorem and weight systems.
- He was a member of the American Mathematical Society and the Association for Symbolic Logic; and also of the editorial boards for the journals Discrete Mathematics and Applications and Computer Instruments in Education.
- Notable students include: Eldar Musayev, Maxim Vsemirnov, Alexei Pastor, Dmitri Karpov.
- Yuri Matiyasevich (1973). "Real-time recognition of the inclusion relation" (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. doi:10.1007/bf01117471. ISSN 0090-4104. S2CID 121919479.
- Yuri Matiyasevich, Julia Robinson (1975). "Reduction of an arbitrary Diophantine equation to one in 13 unknowns". Acta Arithmetica. XXVII: 521–549.
- Yuri Matiyasevich, Géraud Sénizergues (1996). "Decision Problems for Semi-Thue Systems with a Few Rules". LICS.
- Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich (2004). "Some Probabilistic Restatements of the Four Color Conjecture". Journal of Graph Theory. 46 (3): 167–179. doi:10.1002/jgt.10178. S2CID 30591818.
- ^ "SPb. Math. Soc. Prizes". www.mathsoc.spb.ru.
|Wikimedia Commons has media related to Yuri Matiyasevich (mathematician).|