Головна » Співробітники

Криволап Андрій Володимирович

асистент

кандидат фізико-математичних наук

611

521-33-45

andriikryvolap@knu-dot-ua

формальні методи, верифікація програмного забезпечення, програмні логіки, теорія категорій

Навчальні дисципліни

  • Актуальні проблеми Data Mining (Data Mining actual problems), магістр, 1-й р.н., лекції та лабораторні заняття.
  • Compositional logics, магістр, 1-й р.н., лекції.
  • Logic and the automated deduction, магістр, 1-й р.н., лекції.
  • Основи Data Mining, бакалавр, 4-й курс, лекції.
  • Методи специфікації та верифікації програм, бакалавр, 3-й курс, лекції.
  • Теорія програмування, бакалавр, 3-й курс, практичні заняття.
  • Інформаційні технології, бакалавр, 4-й курс, лабораторні заняття.

Профілі в Е-системах

Google Scholar
Scopus

Публікації

  1. Formalization of the nominative algorithmic algebra in Mizar (with Ivanov I., Nikitchenko M. and Kornilowicz A.) // International Conference on Information Systems Architecture and Technology, Springer International Publishing, 2018. – pp. 176-186
  2. Nikitchenko M., Kryvolap A. Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica. – 2013, vol. 13, №4. – p. 70-78
  3. Kryvolap A., Nikitchenko M., Schreiner W. Extending Floyd-Hoare logic for partial pre- and postconditions // CCIS. – 2013, vol. 412. – pp. 355-378
  4. Kryvolap A., Nikitchenko M., Schreiner W. Program Algebras with Monotone Floyd-Hoare Composition // ICTERI 2013. – 2013. – p. 533-549
  5. Никитченко Н.С., Криволап А.В. Многосортная монотонная логика Флойда-Хоара // International Journal Information Theories and Applications, – 2013. vol. 20, №4, – p.331-341
  6. Никитченко Н.С., Криволап А.В. Семантичні властивості монотонних логік Флойда-Хоара // Вісник київського національного університету. – 2012, №3. – с.215-222