Home

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: 

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: 

Olga Melanich

Wed, 2010-02-10 01:44 — smal
Personal data
Interests: 
cryptography, complexity
Homepage: 
http://logic.pdmi.ras.ru/staff/olga-melanich
Photo: 

Nikolay A. Shanin

Wed, 2010-02-10 00:03 — kulikov
Personal data
Interests: 
logic, proof theory
Homepage: 
http://logic.pdmi.ras.ru/~shanin
Photo: 

Edward A. Hirsch

Tue, 2010-02-09 23:01 — kulikov
Personal data
Interests: 
complexity
Homepage: 
http://logic.pdmi.ras.ru/~hirsch
Photo: 

Svetlana Obraztsova

Fri, 2009-12-25 20:22 — kulikov
Personal data
Interests: 
graph theory, social choice
Homepage: 
https://sites.google.com/site/svobraztsova/
Photo: 
Syndicate content