Laboratory of Mathematical Logic and Discrete Mathematics

Head:

Leading Researcher

Ponomarenko Ilia

Doctor of Sciences

Staff:

Researcher

Blagouchine Iaroslav

Candidate of Sciences
Leading Researcher

Itsykson Dmitry

Doctor of Sciences
Senior Researcher

Karpov Dmitriy

Doctor of Sciences
RAS Counselor

Matiyasevich Yuri Vladimirovich

Doctor of Sciences

Full Member of RAS
Senior Researcher

Nikolenko Sergei

Doctor of Sciences
Leading Researcher

Orevkov Vladimir

Doctor of Sciences

Senior Researcher
Researcher

Pastor Aleksei

Candidate of Sciences
Junior Researcher

Smal Alexander

Candidate of Sciences
Senior Researcher

Vorobjov Nicolai

Candidate of Sciences

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

http://logic.pdmi.ras.ru

Scientific Interests:

mathematical logic

discrete mathematics

computation complexity theory