Sergei Ospichev is Researcher at Sobolev Institute of Mathematics, Assistant Professor at Novosibirsk State University and Deputy Director at Mathematical Center in Akademgorodok. His research concerns computability theory - particularly theory of numberings and foundations of semantic programming. He teaches mathematical logic and the theory of algorithms. He is also busy finding and applying mathematics to real world problems.


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