Roman Vladimirovich Romanov

• Born:1973.
• Graduated from Omsk State University: 1995.
• Postgraduate student at the chair of mathematical logic and logical programming: from 1995.

---

Main scientific interests:

• Generalized computability: Recursion theory over arbitrary algebraic structures;
• Complexity theory:Definition and separation of complexity classes over arbitrary structure;
• Logic programmig: Nondeterministic programming: Prolog, LISP, etc.

Diploma work: "Approaches to the complexity theory in generalized computability". Download: tex | dvi (in russian).

Publications