I have graduated from the MSU Mechanics and Mathematics Faculty, the department of Mathematical Logic and Theory of Algorithms. I have obtained my Ph. D. at the same department.
My primary job is with the Institute for Information Transmission Problems of the Russian Academy of Sciences, http://www.iitp.ru
My research interests include: alternative logics, topological semantics, algorithmic complexity, logic of knowledge.
Email: kudinov [at sign] iitp [dot] ru