Home

Former

Ivan Bliznets

Wed, 2015-05-06 15:48 — smal
Personal data
Interests: 
exact algorithms, fpt algorithms, kernelization, approximation algorithms, expanders
Homepage: 
http://mit.spbau.ru/~bliznets
Photo: 

Alexander Knop

Mon, 2013-12-02 19:20 — smal
Personal data
Interests: 
proof complexity, structural complexity, algorithms, cryptography
Homepage: 
http://logic.pdmi.ras.ru/~knop
Photo: 

Dmitry Sokolov

Tue, 2013-02-05 17:59 — smal
Personal data
Interests: 
computational complexity, cryptography, combinatorics, mathematical logic
Homepage: 
http://logic.pdmi.ras.ru/~sokolov
Photo: 

Anatol Slissenko

Fri, 2011-09-30 04:03 — smal
Personal data
Interests: 
algorithmics and complexity
Homepage: 
http://lacl.u-pec.fr/slissenko
Photo: 

Grisha Mints

Fri, 2011-09-30 03:58 — smal
Personal data
Interests: 
logic, proof theory, applications of logic to philosophy
Homepage: 
http://www.stanford.edu/~gmints
Photo: 

Sergei Yu. Maslov

Fri, 2011-09-30 03:55 — smal
Personal data
Interests: 
logic
Homepage: 
http://www.mathsoc.spb.ru/pers/maslov
Photo: 

Yury Lifshits

Fri, 2011-09-30 03:52 — smal
Personal data
Interests: 
web research, algorithm design
Homepage: 
http://yury.name
Photo: 

Boris Konev

Fri, 2011-09-30 03:46 — smal
Personal data
Interests: 
temporal logic, automated reasoning, specification and verification formalisms
Homepage: 
http://www.csc.liv.ac.uk/~konev
Photo: 

Dima Grigoriev

Fri, 2011-09-30 03:44 — smal
Personal data
Interests: 
complexity theory
Homepage: 
http://logic.pdmi.ras.ru/~grigorev
Photo: 

Evgeny Dantsin

Fri, 2011-09-30 03:39 — smal
Personal data
Interests: 
algorithms and computational complexity
Homepage: 
http://cs.roosevelt.edu/~dantsin
Photo: 
Syndicate content