• Education:

  Theoretical Computer Science

Nikolay had research positions in A.P. Ershov Institute of Informatics Systems (Russian Academy of Sciences) and visiting teaching/research positions at Sydney University of Technology (Australia), Nazarbayev University (Kazakhstan), University of Canterbury, Christchurch (New Zealand), Korea Advanced Institute of Science and Technology, Chung-Ang University and Samsung Advanced technology Training Institute (South Korea). Since graduation Nikolay studies Theory of Programming and Applied Logic (in line with tradition founded by Andrey Ershov and Boris Trakhtenbrot). Currently his research interests are around foundations of Formal Methods and their application for analysis of program, information, distributed and multiagent systems.