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.

#### contact

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

Email: ospichev@gmail.com

Laboratory of Computability Theory and Applied Logic

Sobolev Institute of Mathematics

Department of Mechanics and Mathematics

Novosibirsk State University

Mathematical Center in Akademgorodok

Email: ospichev@gmail.com