Interests: algebraic combinatorics, association schemes, coherent configurations, computational complexity, graph isomorphism problem
Homepage: http://www.pdmi.ras.ru/~inp/
Interests: Hilbert's Tenth Problem
Homepage: http://logic.pdmi.ras.ru/~yumat
Interests: proof complexity, average case complexity
Homepage: http://logic.pdmi.ras.ru/~dmitrits
Interests: diophantine equations, Hilbert's Tenth Problem, group theory
Homepage: http://logic.pdmi.ras.ru/~vsemir
Interests: logic, proof theory
Homepage: http://logic.pdmi.ras.ru/~orevkov
Interests: Real algebraic and analytic geometry, о-minimal structures, computer algebra, computational complexity
Homepage: https://people.bath.ac.uk/masnnv/
Interests: circuit complexity, algorithms for NP-hard problems, combinatorics
Homepage: http://logic.pdmi.ras.ru/~kulikov
Interests: graph theory
Homepage: http://logic.pdmi.ras.ru/~dvk
Interests: analytic number theory, special functions, applications of mathematics to engineering sciences and physics, applied statistics
Homepage: http://www.pdmi.ras.ru/~iaroslav/
Homepage: http://logic.pdmi.ras.ru/~pastor
Interests: theoretical cryptography, computational complexity, machine learning
Homepage: http://logic.pdmi.ras.ru/~sergey
Interests: proof complexity, structural complexity, algorithms
Homepage: http://logic.pdmi.ras.ru/~smal
Interests: proof complexity, structural complexity, algorithms, cryptography
Homepage: http://logic.pdmi.ras.ru/~knop
Interests: algorithmics and complexity
Homepage: http://lacl.u-pec.fr/slissenko
Interests: logic
Homepage: http://logic.pdmi.ras.ru/~andrey
Interests: proof complexity, exact algorithms, algorithms for SAT
Homepage: http://logic.pdmi.ras.ru/~arist
Interests: temporal logic, automated reasoning, specification and verification formalisms
Homepage: http://www.csc.liv.ac.uk/~konev
Interests: complexity theory
Homepage: http://logic.pdmi.ras.ru/~grigorev
Interests: computational complexity, cryptography, combinatorics, mathematical logic
Homepage: http://logic.pdmi.ras.ru/~sokolov
Interests: complexity
Homepage: http://logic.pdmi.ras.ru/~hirsch
Interests: algorithms and computational complexity
Homepage: http://cs.roosevelt.edu/~dantsin
Interests: logic, proof theory, applications of logic to philosophy
Homepage: http://www.stanford.edu/~gmints
Interests: exact algorithms, fpt algorithms, kernelization, approximation algorithms, expanders
Homepage: http://mit.spbau.ru/~bliznets
Interests: proof complexity, computational complexity, cryptography
Homepage: http://logic.pdmi.ras.ru/staff/ivan-monakhov
Homepage: http://logic.pdmi.ras.ru/~shanin
Interests: algorithmic game theory, graph theory, combinatorics and geometry
Homepage: http://logic.pdmi.ras.ru/~gravin
Interests: cryptography, complexity
Homepage: http://logic.pdmi.ras.ru/staff/olga-melanich
Homepage: http://www.mathsoc.spb.ru/pers/maslov
Interests: graph theory, social choice
Homepage: https://sites.google.com/site/svobraztsova/
Interests: web research, algorithm design
Homepage: http://yury.name