His research interests lie in automata theory, verification, and theoretical computer science. He previously held postdoctoral appointments at the University of Oxford, UK, and at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. He obtained his PhD in 2011 from Moscow State University, Russia.