Assistant Professor at Innopolis University. Specialist in the theory of programming and applied logic.
He had lecture and 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).
Currently his research interests are related to the foundations and applications of Formal Methods for the analysis of program, information, distributed, and multiagent systems.
His current research is concerned with the project "Platform Independent Specification and Verification of the Standard Mathematical Functions".