Former

Arist Kojevnikov

Personal data
Interests: 
proof complexity, exact algorithms, algorithms for SAT
Homepage: 
http://logic.pdmi.ras.ru/~arist
Photo: 

Olga Melanich

Personal data
Interests: 
cryptography, complexity
Homepage: 
http://logic.pdmi.ras.ru/staff/olga-melanich
Photo: 

Nikolay A. Shanin

Personal data
Interests: 
logic, proof theory
Homepage: 
http://logic.pdmi.ras.ru/~shanin
Photo: 

Svetlana Obraztsova

Personal data
Interests: 
graph theory, social choice
Homepage: 
https://sites.google.com/site/svobraztsova/
Photo: 
Syndicate content