Former

Ivan Bliznets

Personal data
Interests: 
exact algorithms, fpt algorithms, kernelization, approximation algorithms, expanders
Homepage: 
http://mit.spbau.ru/~bliznets
Photo: 

Alexander Knop

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

Dmitry Sokolov

Personal data
Interests: 
computational complexity, cryptography, combinatorics, mathematical logic
Homepage: 
http://logic.pdmi.ras.ru/~sokolov
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: 
Syndicate content