Omelchuk Liudmyla Leonidivna

docent

Candidate of Physical and Mathematical Sciences

docent

611

521-33-45

l.omelchuk@knu-dot-ua

formal methods of program development, programming technologies

Biography

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.”

Academic awards and prizes

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).

Educational disciplines

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.

Profiles in E-systems

Publications

  1. Omelchuk L.L. Specification systems of object-oriented programs over nominative data // Tavriya Bulletin of Informatics and Mathematics – 2014. – № 1 (24). – P. 43-49.
  2. Omelchuk L.L. Application of competence-oriented approach to modernization of the content of disciplines of the cycle of professional and practical training of specialists in informatics on the example of developing a working curriculum of the discipline “Programming” // Visnyk of Kyiv National University. Series: Phys.-Math. science. – 2014. – Vip. 2. – P. 172–179.
  3. Omelchuk L.L. Comparative analysis of the Ukrainian standard of educational and professional training in informatics and international educational standards // Visnyk of Kyiv National University. Series: Phys.-Math. science. – 2013. – Vip. 4. – P. 138–149.
  4. Omelchuk L.L. Comparative analysis of the Ukrainian standard of educational and professional training in informatics and Computer Science’2013 // Visnyk of Kyiv National University. Series: Phys.-Math. science. – 2013. – Vip. 2. – P. 216–227.
  5. Omelchuk L.L. Composition-nominative specification languages of the object – oriented programs // European Cooperation – Warsaw. Poland. 2015. Vol 4. p. 76-84.
  6. Zubenko V.V., Omelchuk L.L. Programming: textbook (stamp of the Ministry of Education and Science) // K .: VPTs “Kyiv University”, 2011.- 624 p. (Stamp provided by the Ministry of Education and Science of Ukraine (letter № 1.4.18-G-2020 dated 29.08.08)).
Curriculum Vitae