Alexander Smal

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