Андрей Криволап

Преподаватель

Криволап-Андрей

Андрей Криволап – специалист в области программирования на языке С#, C++ .
На протяжении долгого времени занимается разработкой программного обеспечения.
Обладает крепкими математическими знаниями, увлечен научными исследованиями.
За время работы преподавателем зарекомендовал себя с лучшей стороны, так как сумел подготовить многих молодых специалистов, работающих в данное время в различных областях экономики, непосредственно связанных с IT-сферой.
Аспирант факультета кибернетики, кафедры теории и технологии программированияКиевского национального университета имени Тараса Шевченко.

Образование
  • Высшее,окончил Киевский национальный университет имени Тараса Шевченко – факультет кибернетики, кафедра теории и технологии программирования. Получил диплом бакалавр информатики с отличием. Позже, диплом магистра информатики с отличием. В настоящее время продолжает обучение в аспирантуре.
Основные достижения
  • С сентября 2008 по январь 2009 сотрудник компании Diosoft, разработчик программных продуктов с использованием языка C++ .
  • С март 2013 по сегодняшний день работает ассистентом на кафедре теории и технологии программирования в Киевском национальном университете имени Тараса Шевченко,.
  • Занимается научной работой, изучает алгебру процессов, параллельные системы, теорию категорий, темпоральные логики, программные логики.
  • Имеет ряд научных публикаций как соавтор работ:
    • Криволап А.В. Атрибутивні транзиційні системи як формальна модель поняття процес.- Theoretical and Applied Aspects of Cybernetics. Proceedings of the International Scientific Conference of Students and Young Scientists-Kyiv: Bukrek, P.98-100, 2011.
    • Нікітченко М.С., Криволап А.В. Семантичні властивості монотонних логік Флойда-Хоара.- Вісник Київського національного університету імені Тараса Шевченка.- № 3, 2012.-Київ С 215-222.
    • Kryvolap A., Nikitchenko M. Schreiner W. Program Algebras with Monotone Floyd-Hoare Composition.- ICTERI 2013. Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. p. 533-549
    • Никитченко Н.С., Криволап А.В. Многосортная монотонная логика Флойда-Хоара.- International Journal Information Theories and Applications 2013 Volume 20 Number 4, Sofia, Bulgaria: ITHEA, 2013, p.331-341