Centre for Synthetic Biology and the Bioeconomy

Staff Profile

Dr Victor Khomenko

Reader in Formal Methods



I obtained an 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 I became a Lecturer in this School, and then in September 2005 won 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, I switched back to Lectureship, in August 2013 became a Senior Lecturer, and in August 2015 became a Reader in Formal Methods.

I am the Head of Advanced Model-Based Engineering and Reasoning (AMBER) research group.

Areas of expertise

  • Application of formal methods to verification and synthesis of concurrent systems
  • Formal verification based on Petri nets
  • Formal verification and synthesis of asynchronous (self-timed) circuits

Google Scholar profile


Research Interests

My research is focused 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. I am the author of UnfoldingTools software that is used as the verification and synthesis backends of Workcraft framework (workcraft.org).

Esteem Indicators


Currently I am a module leader for the following module:

  • CSC3324: Understanding Concurrency

My other teaching-related duties are:

  • Chair of the UG Board of Examiners
  • Chair of the UG Personal Extenuating Circumstance (PEC) Committee and member of the PG PEC Committee
  • Member of the Learning and Teaching Committee (LTC)
  • Member of the Assessment Irregularities (AI) Committee