Staff of the Laboratory

Staff of the Laboratory


Former

Ivan Monakhov

Interests:
proof complexity, computational complexity, cryptography

Homepage:
http://logic.pdmi.ras.ru/staff/ivan-monakhov

Nikolay A. Shanin

Interests:
logic, proof theory

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

Nikolay Gravin

Interests:
algorithmic game theory, graph theory, combinatorics and geometry

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

Olga Melanich

Interests:
cryptography, complexity

Homepage:
http://logic.pdmi.ras.ru/staff/olga-melanich

Sergei Yu. Maslov

Interests:
logic

Homepage:
http://www.mathsoc.spb.ru/pers/maslov

Svetlana Obraztsova

Interests:
graph theory, social choice

Homepage:
https://sites.google.com/site/svobraztsova/

Yury Lifshits

Interests:
web research, algorithm design

Homepage:
http://yury.name