Prof. Dr. Yuri Matiyasevich

Profil

FachgebietTheoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre
KeywordsMathematical Logic, Number Theory

Aktuelle Kontaktadresse

LandRussische Föderation
OrtSt. Petersburg
Universität/InstitutionRussian Academy of Sciences
Institut/AbteilungSteklov Mathematical Institute

Gastgeber*innen während der Förderung

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
Beginn der ersten Förderung01.10.1998

Programm(e)

1998Forschungspreis-Programm auf Gegenseitigkeit für Wissenschaftler*innen aus dem Ausland