Staff of the Laboratory

Staff of the Laboratory


Junior Researchers

Alexander Smal

Interests:
proof complexity, structural complexity, algorithms

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

Dmitry Sokolov

Interests:
computational complexity, cryptography, combinatorics, mathematical logic

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

Former

Anatol Slissenko

Interests:
algorithmics and complexity

Homepage:
http://lacl.u-pec.fr/slissenko

Andrey Bovykin

Interests:
logic

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

Arist Kojevnikov

Interests:
proof complexity, exact algorithms, algorithms for SAT

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

Boris Konev

Interests:
temporal logic, automated reasoning, specification and verification formalisms

Homepage:
http://www.csc.liv.ac.uk/~konev

Dima Grigoriev

Interests:
complexity theory

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

Evgeny Dantsin

Interests:
algorithms and computational complexity

Homepage:
http://cs.roosevelt.edu/~dantsin

Grisha Mints

Interests:
logic, proof theory, applications of logic to philosophy

Homepage:
http://www.stanford.edu/~gmints

Ivan Bliznets

Interests:
exact algorithms, fpt algorithms, kernelization, approximation algorithms, expanders

Homepage:
http://mit.spbau.ru/~bliznets