Liudmyla L. Omelchuk
Liudmyla L. Omelchuk
Deputy Dean for Educational and Methodical Work, Associate Professor

Information

Position: Deputy Dean for Educational and Methodical Work, Associate Professor
Degree: Candidate of Physical and Mathematical Science
Title: Associate Professor
Room: 227
Phone: +38 (044) 259-01-19
E-mail: l.omelchuk@knu.ua
Research interests: formal methods of software programming techniques

Academic awards:

1. Грамота Міністерства освіти і науки України (2019). 

2. Подяка Міністерства освіти і науки України (2018). 

3. Грамота Київського національного університету за успіхи у навчальній, науковій та виховній роботі, 2014, 2016 р. 

4. Кращий викладач факультету кібернетики, 2015/2016 н. р.

5. Microsoft Certified Technology Specialist (сертифікат № E231-9142 від 10.04.2013);

6. Microsoft Certified Professional (сертифікат № E315-6668 від 19.06.2013);

7. Microsoft Specialist (сертифікат № E416-8854 від 25.10.2013);

8. Microsoft Certified Solutions Developer (сертифікат № E416-8853 від 25.10.2013).

Courses:

1. Object-oriented programming
2. Instrumental environments and technologies of programming
3. Software engineering

Publications:

  1. Liudmyla Omelchuk, Andrii Kryvolap, Taras Panchenko, Nataliia Rusina, Olena Shyshatska and Oleksii Tkachenko (2023). Methods of Automated Analysis of Curricula According to the Higher Education Standard. IJCSNS International Journal of Computer Science and Network Security, VOL.23 No.11, November 2023, p .32-42. https://doi.org/10.22937/IJCSNS.2023.23.11.4. 
  2. Omelchuk L. Extending the SMT-Lib Standard with Theory of Nominative Data [Електронний ресурс] / L. Omelchuk, O. Shyshatska // CEUR Workshop Proceedings. – 2019. – Режим доступу до ресурсу: http://ceur-ws.org/Vol-2393/paper_317.pdf. 
  3. L. Omelchuk, O. Shyshatska “SMT-LIB Theory of Nominative Data”, ICTERI 2019, CCIS 1175, Springer Nature Switzerland AG 2020, pp. 89-110. – Режим доступу до ресурсу: https://link.springer.com/chapter/10.1007/978-3-030-39459-2_5.
  4. Omelchuk L. Development of the ICT-standard of higher education in Ukraine within the framework of European requirement  / L. Omelchuk, O. Shyshatska, N. Rusina // CEUR Workshop Proceedings. – 2019.
  5. Omelchuk L. Composition-nominative specification languages of the object - oriented programs // European Cooperation – Warsaw. Poland. 2015. – Vol 4. p. 76-84.


Curriculum Vitae