Victor 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 Newcastle University.
In January 2005 Victor became a Lecturer in this School, and then in September 2005 he obtained a Royal Academy of Engineering / EPSRC Post-doctoral Research Fellowship and worked on the DAVAC project. After the end of this award, in September 2010, he switched back to Lectureship, in August 2013 became a Senior Lecturer, and in August 2015 became a Reader in Formal Methods.
My research is concentrated on the theory of distributed and concurrent systems, in particular on application of formal techniques to verification and synthesis of such systems. From September, 1999, I have been working on model checking of Petri nets and synthesis of asynchronous (self-timed) circuits using Petri net unfoldings.
Currently I work on the UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) and A4A: Asynchronous design FOR Analogue electronics projects.
I am a co-investigator on the EPSRC-funded UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) and A4A: Asynchronous design FOR Analogue electronics projects.
Currently I am a module leader for the following modules:
My other teaching-related duties are: