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 andLogical Programming Omsk State University Prospekt Mira 55a Omsk, 644077 RUSSIA |
Institute of InfomationTechnologies and Applied Mathematics Pevtsova, 13 Omsk, 644099 RUSSIA |

Home phone: |
(3812) 30-03-05 |

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