Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Former
Andrey Bovykin
Fri, 2011-09-30 03:37 — smal
Personal data
Interests:
logic
Homepage:
http://logic.pdmi.ras.ru/~andrey
Photo:
Former
Nikolay Gravin
Fri, 2011-09-30 03:29 — smal
Personal data
Interests:
algorithmic game theory, graph theory, combinatorics and geometry
Homepage:
http://logic.pdmi.ras.ru/~gravin
Photo:
Former
Ivan Monakhov
Sun, 2011-05-29 22:08 — smal
Personal data
Interests:
proof complexity, computational complexity, cryptography
Homepage:
http://logic.pdmi.ras.ru/staff/ivan-monakhov
Photo:
Former
Arist Kojevnikov
Sat, 2010-05-15 22:27 — smal
Personal data
Interests:
proof complexity, exact algorithms, algorithms for SAT
Homepage:
http://logic.pdmi.ras.ru/~arist
Photo:
Former
Olga Melanich
Wed, 2010-02-10 01:44 — smal
Personal data
Interests:
cryptography, complexity
Homepage:
http://logic.pdmi.ras.ru/staff/olga-melanich
Photo:
Former
Nikolay A. Shanin
Wed, 2010-02-10 00:03 — kulikov
Personal data
Interests:
logic, proof theory
Homepage:
http://logic.pdmi.ras.ru/~shanin
Photo:
Former
Edward A. Hirsch
Tue, 2010-02-09 23:01 — kulikov
Personal data
Interests:
complexity
Homepage:
http://logic.pdmi.ras.ru/~hirsch
Photo:
Former
Svetlana Obraztsova
Fri, 2009-12-25 20:22 — kulikov
Personal data
Interests:
graph theory, social choice
Homepage:
https://sites.google.com/site/svobraztsova/
Photo:
Former
« first
‹ previous
1
2