Instructor

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

Phone: |
(3812) 66-50-18, 64-42-38 |

E-mail: |
romanov@univer.omsk.su |

Mail: |
Chair of Logic andLogical Programming, Omsk State University, Prospekt Mira 55a, Omsk, 644077 RUSSIA |

Home phone: |
(3812) 232-454 |

**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).