I am an assistant professor at Moscow Institute of Electronic Technology. My main area of interest is mathematical logic.