Victor Khomenko

	Position:	Research Fellow
	E-mail:	Victor.Khomenko ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 919 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

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.

From September 2005 Victor is a Royal Academy of Engineering/EPSRC Post-doctoral Research Fellow, working on the DAVAC project.

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

Publications

A list of publications by Victor Khomenko is available.

Research Groups

Victor is a member of the [ Theoretical Computing Science ] research group(s)