My research area is theory of programming language, where mathematical methods are applied for formal modeling of programs' behavior. I have been woking on the topics of program verification, program transformation, etc. Recently I am intensively working on application of combinatorial topological methods to distributed computing.