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 |
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).
1. Object-oriented programming
2. Instrumental environments and technologies of programming
3. Software engineering
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.