Dr. Ilya Shapirovsky currently works at Department of Mathematical Sciences, New Mexico State University, USA, and at Institute for Information Transmission Problems of the Russian Academy of Sciences. Ilya does research in Theory of Computation and Logic and Foundations of Mathematics.