Ayrat Khalimov Айрат Халимов

Born 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, followed by a 3-year postdoc with Emmanuel Filiot at ULB in Brussels, and now doing a postdoc with Rüdiger Ehlers at TU Clausthal in Germany.

I like reactive synthesis (automata, games, SMT, logic), programming (python, c++, c#, java), enjoy modest amounts of teaching, love sport activities, reading books, and certain artistic endeavours.