Lecturer of the next subjects: software’s modeling and analysis, formal methods of software’s verifications, specifications and optimizations, formal methods of software engineering.Publications: The author has more than 25 publications (including papers in scientific journals, conference proceedings and methodical recommendations, etc). Сo-author of next software for educational and scientific purposes: • Computer program "Web service for building ratings of scientists by the dates of scientometric systems and databases". Version 2.0, № 59133 from 01. 04.15.• Computer program "Web-service "Research work of the department", № 67546 from 02.09.16. Participant in the international project MASTIS (establishing modern master-level studies in information systems) (Funded by Erasmus+ Programme of the European Union). Honors: Laureate of the Prize of the Verkhovna Rada of Ukraine for young scientists for 2019.