Obtained MSc with distinction in Computer Science, Applied Mathematics and Teaching of Mathematics and Computer Science in 1998 from Kiev Taras Shevchenko University, and PhD in Computing Science in 2003 from University of Newcastle upon Tyne.

He is a Program Committee member for the International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN) and International Conference on Application of Concurrency to System Design (ACSD). He also organised the Workshop on UnFOlding and partial order techniques (UFO'07).

From September 2005 Victor is a Royal Academy of Engineering/EPSRC Post-doctoral Research Fellow, working on the Design and Verification of Asynchronous Circuits (DAVAC) project.

Interests: model checking of Petri nets, Petri net unfolding techniques, verification and synthesis of self-timed (asynchronous) circuits.