Prof. Dr. Yuri Matiyasevich

Profile

Research fieldsTheoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory
KeywordsMathematical Logic, Number Theory

Current contact address

CountryRussian Federation
CitySt. Petersburg
InstitutionRussian Academy of Sciences
InstituteSteklov Mathematical Institute

Host during sponsorship

Prof. Dr. Volker DiekertInstitutsverbund Informatik (IvI), Universität Stuttgart, Stuttgart
Prof. Dr. Ernst W. MayrFakultät für Informatik, Technische Universität München, München
Prof. Dr. Yuri I. ManinMax-Planck-Institut für Mathematik, Bonn
Prof. Dr. Christoph ZengerFakultät für Informatik, Technische Universität München, Garching
Prof. Dr. Ernst W. MayrFakultät für Informatik, Technische Universität München, Garching
Prof. Dr. Volker DiekertInstitut für Formale Methoden der Informatik (FMI), Universität Stuttgart, Stuttgart
Start of initial sponsorship01/10/1998

Programme(s)

1998Humboldt Research Award Programme