Staff of the Laboratory

Staff of the Laboratory


Head

Edward A. Hirsch

Interests:
complexity

Homepage:
http://logic.pdmi.ras.ru/~hirsch

RAS Сounselor

Yury V. Matiyasevich

Interests:
Hilbert's Tenth Problem

Homepage:
http://logic.pdmi.ras.ru/~yumat

Leading Researchers

Maxim A. Vsemirnov

Interests:
diophantine equations, Hilbert's Tenth Problem, group theory

Homepage:
http://logic.pdmi.ras.ru/~vsemir

Vladimir P. Orevkov

Interests:
logic, proof theory

Homepage:
http://logic.pdmi.ras.ru/~orevkov

Senior Researchers

Alexander S. Kulikov

Interests:
circuit complexity, algorithms for NP-hard problems, combinatorics

Homepage:
http://logic.pdmi.ras.ru/~kulikov

Dmitry M. Itsykson

Interests:
proof complexity, average case complexity

Homepage:
http://logic.pdmi.ras.ru/~dmitrits

Dmitry V. Karpov

Interests:
graph theory

Homepage:
http://logic.pdmi.ras.ru/~dvk

Researchers

Alexei V. Pastor

Interests:
graph theory

Homepage:
http://logic.pdmi.ras.ru/~pastor

Sergey I. Nikolenko

Interests:
theoretical cryptography, computational complexity, machine learning

Homepage:
http://logic.pdmi.ras.ru/~sergey

Junior Researchers

Alexander Knop

Interests:
proof complexity, structural complexity, algorithms, cryptography

Homepage:
http://logic.pdmi.ras.ru/~knop