He obtained his PhD from the University of Victoria, Canada, in 1998. After five years at the Swedish Institute of Computer Science (SICS) he joined KTH in the spring of 2002. Gurov's research interests are in the field of program correctness and formal methods. Gurov has more than 30 research papers in established scientific journals and conferences, and has participated in several European and Swedish projects. He has supervised three doctoral students, and has been on programme committees for a number of conferences and workshops, such as WING~2014, FMSPLE~2013, FoVeOOS~2011 (co-chair), ACM SAC~2010, and FoVeOOS~2010.