Omelchuk Lyudmila Leonidovna




Surname: Omelchuk

Name: Lyudmila

Last name: Leonidovna

PhD

Assistant,
Candidate of Physical and Mathematical Sciences

Born March 28, 1977 in Kiev. In 1994 he graduated from secondary school number 273 and entered the Faculty of Cybernetics, Kyiv National Taras Shevchenko University. In 1999 he received a master’s degree in computer science.

Powered by the department since 2005 as an assistant. In 2007, under the direction of Professor Nikitchenko MS PhD thesis “axiomatic system specification programs over nominative data.”

Research interests: formal methods of software programming techniques.

Author of 13 scientific papers.

1. VV Zubenko Omelchuk LL Programming / / K. STPC “Kyiv
University “, 2011. – 624 p.
2. Omelchuk LL Comparative analysis of Ukrainian and international educational
standards of science / / Theoretical and applied aspects of program systems development
(TAAPSD’2007). – Abstracts. – Yalta, Ukraine, 2011. P. 140-145.
3. Omelchuk LL Guidelines for execution and registration
undergraduate work / / K. Ice Prints, 2011. – 32.
4. Omelchuk LL Guidelines to performance and design course
Works / / K. Ice Prints, 2011. – 32.
5. Omelchuk LL Formal methods of program specification / / K. UKRINTEI, 2009.
- 78 p.
6. Omelchuk LL Composition-nominative system specifications Programs
for object-oriented programming / / Theoretical and applied aspects of program
systems development (TAAPSD’2008). – Abstracts. – Berdyansk, Ukraine, 2007. P. 52-57.
7. Bui DB, Nikitchenko MS, Omelchuk LL, radish, VN, Shishac’ka O.
Classification of languages ​​and methods of formal specifications of software systems / / Theoretical
and applied aspects of program systems development (TAAPSD’2008). – Abstracts. -
Berdyansk, Ukraine, 2007. P. 27-33.
8. Omelchuk LL A prototype implementation axiomatic system specifications
programs over metanominatyvnymy data / / Theoretical and applied aspects of program
systems development (TAAPSD’2007). – Abstracts. – Berdyansk, Ukraine, 2007. P. 107-113.
9. Nikolaj Nikitchenko, Ludmila Omelchuk, Stepan Shkilniak: Formalisms for
Specification of Programs over Nominative Data / / Electronic computers and informatics (ECI
2006). – Thesis of conference reports. – Košice – Herľany, Slovakia, 2006. P. 134-139.
10. Omelchuk LL System specifications of programs nominative data /
/ Theoretical and applied aspects of program systems development (TAAPSD’2006). -
Abstracts. – Kyiv, Ukraine, 2006. P. 96-100.
11.
Omelchuk
LL
System
Automation
Evidence
theorems
theory
metanominatyvnyh data / / Bulletin. Kyiv. Univ. August.: Sci. science. – 2006. – Issue 2. – S.
231-235.
12. ikitchenko MS, Shkilnyak SS, LL Omelchuk Logic-oriented
H
program specification / / Problems of Programming. – 2006. – № 2-3. – P.17-24.
13.Omelchuk LL Axiomatic system for software specification languages
Theoretical and applied aspects of program systems development (TAAPSD’2004). -
Abstracts. – Kyiv, Ukraine, 2004. P. 57-61.
14. Omelchuk LL Sequent calculus for compositional nominative logics
partial predicates / / Bulletin. Kyiv. Univ. August.: Sci. science. – 2003. – Issue 4. – S. 270 -
278.
15. Omelchuk LL Sequential logic yschyslenyya chastychnыh predykatov /
/ Dynamical system modelling and stability investigation. – Thesis of conference reports. -
Kyiv, Ukraine, 2003. P. 410.
16. Omelchuk LL Obchyslyuvanist functions over metanominatyvnymy data / /
Excitations. Kyiv. Univ. August.: Sci. science. – 2001. – Issue 1. – C. 275-286.

Новини
Дошка оголошень
Цікаві факти