He is a member of the PRECISE Center (Penn Research in Embedded Computing and Integrated Systems), and Real-Time Systems group. He received M.Sc. and Ph.D. in Computer Science from St. Petersburg Technical University and Stony Brook University, respectively. His main research interest is the application of formal methods to design and verification of distributed real-time systems. Other interests, all related to the main one, include on-line monitoring of distributed systems and formal foundations for it, hybrid systems, automated extraction of specifications from source code, and formal methods in software engineering in general and in embedded software in particular. © McGill University 2017