Igor Victorovich Ashaev

Senior instructor

Born:1971.
Graduated from Omsk State University: 1993.
Teacher of the chair of mathematical logic and logical programming of Omsk State University: from 1993.
Research fellow of Institute of Information Technologies and Applied Mathematics: from 1996.
PhD in Math & Physics: 1997.

*Phone:*	`(3812) 66-50-18, 64-42-38`	`(3812)23-67-39`
*E-mail:*	`ashaev@univer.omsk.su`	`ashaev@iitam.omsk.net.ru`
*Mail:*	`Chair of Logic and Logical Programming Omsk State University Prospekt Mira 55a Omsk, 644077 RUSSIA`	`Institute of Infomation Technologies and Applied Mathematics Pevtsova, 13 Omsk, 644099 RUSSIA`
*Home phone:*	`(3812) 30-03-05`

Main scientific interests

Generalized computability: recursion theory over arbitrary algebraic structures, Turing degrees, complexity theory. Special interests in computability over fields of the real, complex and p-adic numbers.
HF-logic: definability, connections with generalized computability.

Publications

Last updated: Feb 1997