Scientific Interests: «formal arithmetic»Units

Professor: Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)

Associate Professor: Faculty of Computer Science / Big Data and Information Retrieval School
Research Fellow: Faculty of Computer Science / Big Data and Information Retrieval School / Laboratory of Theoretical Computer Science
Associate Professor: Faculty of Mathematics