Liudmyla L. Omelchuk
Associate Professor

Information

Position: Associate Professor
Degree: Candidate of Physical and Mathematical Science
Title: Associate Professor
Room: 611
Phone: (044)521-33-45
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. SMT-LIB Theory of Nominative Data / Omelchuk L. and Shyshatska O. //Springer Nature Switzerland AG, Communications in Computer and Information Science, 1175 CCIS, pp. 89-110, 2020.https://doi.org/10.1007/978-3-030-39459-2_5

2. Omelchuk L. Composition-nominative specification languages of the object - oriented programs // European Cooperation – Warsaw. Poland. 2015. – Vol 4. p. 76-84.


Curriculum Vitae