Staff of the Laboratory

Staff of the Laboratory


Head

Yury V. Matiyasevich

Interests:
Hilbert's Tenth Problem

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

Leading Researchers

Edward A. Hirsch

Interests:
complexity

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

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

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

Alexander S. Kulikov

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

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

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 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

PhD Students

Alexander Knop

Interests:
proof complexity, structural complexity, algorithms, cryptography

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

Ivan Bliznets

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

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

Former

Svetlana Obraztsova

Interests:
graph theory, social choice

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

Nikolay A. Shanin

Interests:
logic, proof theory

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

Olga Melanich

Interests:
cryptography, complexity

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

Arist Kojevnikov

Interests:
proof complexity, exact algorithms, algorithms for SAT

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

Ivan Monakhov

Interests:
proof complexity, computational complexity, cryptography

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

Nikolay Gravin

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

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

Andrey Bovykin

Interests:
logic

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

Evgeny Dantsin

Interests:
algorithms and computational complexity

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

Dima Grigoriev

Interests:
complexity theory

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

Boris Konev

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

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

Yury Lifshits

Interests:
web research, algorithm design

Homepage:
http://yury.name

Sergei Yu. Maslov

Interests:
logic

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

Grisha Mints

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

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

Anatol Slissenko

Interests:
algorithmics and complexity

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