Research Interests
Model Checking, Parameterized Model Checking, Verification of Distributed Algorithms

Biographical Information
I received my PhD in Feb. 2009 and Specialist degree (approx. MSc) in Applied Mathematics from Lomonosov Moscow State University. In Nov. 2008, I defended my PhD thesis on Parameterized Model Checking of Distributed Systems (in Russian) under supervision of Vladimir A. Zakharov and Ruslan L. Smeliansky.