Laboratory of Mathematical Logic

Head:

Leading Researcher

Hirsch Edward A.

Doctor of Sciences

Professor of RAS

Staff:

Researcher

Dmitry Sokolov

Candidate of Sciences
Leading Researcher

Itsykson Dmitry

Candidate of Sciences
Senior Researcher

Karpov Dmitriy

Doctor of Sciences
Junior Researcher

Knop Alexander

Candidate of Sciences
RAS Counselor

Matiyasevich Yuri Vladimirovich

Doctor of Sciences

Full Member of RAS
Junior Researcher

Melanich Olga
Researcher

Nikolenko Sergei

Candidate of Sciences
Leading Researcher

Orevkov Vladimir

Doctor of Sciences

Senior Researcher
Researcher

Pastor Aleksei

Candidate of Sciences
Junior Researcher

Smal Alexander
Interim Director

Vsemirnov Maxim A.

Doctor of Sciences

Corresponding Member of RAS

Страница лаборатории:

http://logic.pdmi.ras.ru

Scientific Interests:

mathematical logic

discrete mathematics

computation complexity theory