Serhii L. Kryvyi

Position:
Professor
Degree:
Doctor of Physical and Mathematical Science
Academic rank:
Professor
Office:
№ 605 b
Phone:
259-05-11
E-mail:
Research interests:
automata theory, theory of Petri nets, software verification, discrete mathematics, computational complexity theory, recursion theory, technology of software creation, applied mathematical logic, graph theory, cryptography.