docent
Candidate of Physical and Mathematical Sciences
docent
611
521-33-45
l.omelchuk@knu-dot-ua
formal methods of program development, programming technologies
Candidate of Physical and Mathematical Sciences
docent
611
521-33-45
l.omelchuk@knu-dot-ua
formal methods of program development, programming technologies
She was born on March 28, 1977 in the city of Kyiv. In 1994 she graduated from school №273 and entered the Faculty of Cybernetics of Taras Shevchenko National University of Kyiv. In 1999 she received a master’s degree in computer science.
In 2007, under the guidance of Professor Nikitchenko M.S. defended her dissertation “Axiomatic systems of program specifications over nominative data.”
1. Diploma of Kyiv National University for success in teaching, research and educational work, 2016
2. The best lecturer of the Faculty of Cybernetics, 2015/2016 p.
3. Microsoft Certified Technology Specialist (certificate № E231-9142 dated April 10, 2013);
4. Microsoft Certified Professional (certificate № E315-6668 dated 19.06.2013);
5. Microsoft Specialist (certificate № E416-8854 dated 25.10.2013);
6. Microsoft Certified Solutions Developer (certificate № E416-8853 dated 25.10.2013).
1. Object-oriented programming, 2nd year, lectures and laboratory classes.
2. Software engineering, 2nd year of master’s degree, lectures and laboratory classes.
3. Instrumental environments and programming technologies, 2nd year, lectures and laboratory classes.