доцент
кандидат фізико-математичних наук
доцент
611
521-33-45
l.omelchuk@knu-dot-ua
формальні методи розробки програм, технології програмування
кандидат фізико-математичних наук
доцент
611
521-33-45
l.omelchuk@knu-dot-ua
формальні методи розробки програм, технології програмування
Народилася 28 березня 1977 р. в м. Києві. В 1994 р. закінчила СШ №273 та поступила на ф-т кібернетики Київського національного університету імені Тараса Шевченка. В 1999 р. отримала диплом магістра з інформатики.
У 2007 р. під керівництвом професора Нікітченка М.С. захистила кандидатську дисертацію “Аксіоматичні системи специфікацій програм над номінативними даними”.
1. Грамота Київського національного університету за успіхи у навчальній, науковій та виховній роботі, 2016 р.
2. Кращий викладач факультету кібернетики, 2015/2016 н. р.
3. Microsoft Certified Technology Specialist (сертифікат № E231-9142 від 10.04.2013);
4. Microsoft Certified Professional (сертифікат № E315-6668 від 19.06.2013);
5. Microsoft Specialist (сертифікат № E416-8854 від 25.10.2013);
6. Microsoft Certified Solutions Developer (сертифікат № E416-8853 від 25.10.2013).
1. Об’єктно-орієнтоване програмування, 2-й курс, лекційні та лабораторні заняття.
2. Програмна інженерія, 2 курс магістратури, лекційні та лабораторні заняття.
3. Інструментальні середовища та технології програмування, 2-й курс, лекційні та лабораторні заняття.