Sergei Ospichev is Researcher at Sobolev Institute of Mathematics and Lecturer at Novosibirsk State University. His research concerns computability theory - particularly theory of numberings and foundations of semantic programming.


contact

Sergei Ospichev
Laboratory of Computability Theory and Applied Logic
Sobolev Institute of Mathematics
Department of Mechanics and Mathematics
Novosibirsk State University
Email: ospichev@gmail.com