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.


Sergei Ospichev
Laboratory of Computability Theory and Applied Logic
Sobolev Institute of Mathematics
Department of Mechanics and Mathematics
Novosibirsk State University