Laboratory of Mathematical Logic

Staff of the Laboratory

Head

Ilia Ponomarenko

Interests:
algebraic combinatorics, association schemes, coherent configurations, computational complexity, graph isomorphism problem

Homepage:
http://www.pdmi.ras.ru/~inp/

RAS Сounselor

Yury V. Matiyasevich

Interests:
Hilbert's Tenth Problem

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

Leading Researchers

Dmitry M. Itsykson

Interests:
proof complexity, average case complexity

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

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

Nicolai Vorobjov

Interests:
Real algebraic and analytic geometry, о-minimal structures, computer algebra, computational complexity

Homepage:
https://people.bath.ac.uk/masnnv/

Alexander S. Kulikov

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

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

Dmitry V. Karpov

Interests:
graph theory

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

Researchers

Iaroslav Blagouchine

Interests:
analytic number theory, special functions, applications of mathematics to engineering sciences and physics, applied statistics

Homepage:
http://www.pdmi.ras.ru/~iaroslav/

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

Former

Alexander Knop

Interests:
proof complexity, structural complexity, algorithms, cryptography

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

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

Dmitry Sokolov

Interests:
computational complexity, cryptography, combinatorics, mathematical logic

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

Edward A. Hirsch

Interests:
complexity

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

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

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

Laboratory of Mathematical Logic at PDMI

Search

Latest seminars