Yuri Matiyasevich#
| Membership Number: | 3876 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2014 |
| Main Country of Residence: | RUSSIA |
| Homepage(s): | http://logic.pdmi.ras.ru/~yumat |
Present and Previous Positions
- 1980 - present head of laboratory, Steklov Institute of Mathematics, Leningrad/St.Petersburg Branch
- 1974 - 1980 senior researcher, Steklov Institute of Mathematics, Leningrad Branch
- 1970 - 197, younger researcher, Steklov Institute of Mathematics, Leningrad Branch
- Part time teaching positions:
- 1980 - 1981 Professor, Polytechnical Institute at Leningrad
- 1989 - 1995, 2003-present, Professor, Leningrad/St.Petersburg State University
Fields of Scholarship
- Diophantine equations
- Computability theory
- Algorithms
- Decidability problems
Honours and Awards
- 2008 Full member, Russian Academy of Sciences
- 2007 Corresponding member, Bavarian Academy of Sciences
- 2003 Docteur Honoris Causa, Université Pierre et Marie Curie (Paris-6), France
- 1997 Corresponding member, Russian Academy of Sciences
- 1997 Humboldt Research Award
- 1996 Docteur Honoris Causa, l'Université d'Auvergne, France
- 1980 Prize in Mathematics named after A.A.Markov, the Academy of Sciences of the USSR
