Victor Khomenko

Formal Methods

Personal page

Research Interests

  • Formal Methods

  • Petri nets

Technologies & Programming Languages

I am comfortable supervising projects that make use of the following technologies and programming languages.

  • C++

Contact

TODO: Use this site to find project supervisors for your masters projects.