Former

Alexander Knop

Personal data
Interests: 
proof complexity, structural complexity, algorithms, cryptography
Homepage: 
http://logic.pdmi.ras.ru/~knop
Photo: 

Anatol Slissenko

Personal data
Interests: 
algorithmics and complexity
Homepage: 
http://lacl.u-pec.fr/slissenko
Photo: 

Grisha Mints

Personal data
Interests: 
logic, proof theory, applications of logic to philosophy
Homepage: 
http://www.stanford.edu/~gmints
Photo: 

Sergei Yu. Maslov

Personal data
Interests: 
logic
Homepage: 
http://www.mathsoc.spb.ru/pers/maslov
Photo: 

Yury Lifshits

Personal data
Interests: 
web research, algorithm design
Homepage: 
http://yury.name
Photo: 

Boris Konev

Personal data
Interests: 
temporal logic, automated reasoning, specification and verification formalisms
Homepage: 
http://www.csc.liv.ac.uk/~konev
Photo: 

Dima Grigoriev

Personal data
Interests: 
complexity theory
Homepage: 
http://logic.pdmi.ras.ru/~grigorev
Photo: 

Evgeny Dantsin

Personal data
Interests: 
algorithms and computational complexity
Homepage: 
http://cs.roosevelt.edu/~dantsin
Photo: 

Andrey Bovykin

Personal data
Interests: 
logic
Homepage: 
http://logic.pdmi.ras.ru/~andrey
Photo: 

Nikolay Gravin

Personal data
Interests: 
algorithmic game theory, graph theory, combinatorics and geometry
Homepage: 
http://logic.pdmi.ras.ru/~gravin
Photo: 
Syndicate content