Bio

Born in 1986 in Ulyanovsk in Russia, I graduated from MIPT in Moscow in 2009, programmed C# for one year, did a half-year internship at EPFL in Switzerland, completed PhD on reactive synthesis at TU Graz in Austria with Roderick Bloem, did a short postdoc with Orna Kupferman at the Hebrew University of Jerusalem, and now doing a postdoc with Emmanuel Filiot at ULB in Brussels.

I like reactive synthesis (automata, games, SMT, logic), programming (python, c++, c#, java), enjoy modest amounts of teaching, love sport activities, reading books, and dancing and playing music (pre-beginner).

Links

Contacts