Панченко Тарас Владимирович




Surname: Панченко

Name: Тарас

Last name: Владимирович

Кандидат физ.-мат. наук

pantaras@ukr.net

Доцент,
кандидат физико-математических наук

Окончил Киевский университет в 2001 году. Защитил диплом на тему «Разработка и реализация на базе Web-технологий Электронной биржи Ощадного банка для покупки-продажи валют» с оценкой «отлично» и получил диплом магистра информатики с отличием. В 2001 г. поступил в аспирантуру на кафедру теории программирования. Работает над темой «Разработка композиционных методов и программных средств их поддержки». Работает на кафедре с 2002 года.

Область научных интересов:

  • композиционные методы
  • Интернет-технологии
  • базы данных.

Проводит практические и лабораторные занятия по курсам «Системное программирование» и «Программирование». Читает спецкурсы «Основы Internet / intranet-программирование» и «Технологии Internet».

E- mail: pantaras @ ukr. net

Публикации:

  1. Панченко Т.В. Пропозициональные исчисления для последовательной трехзначной логики (системы типа МакКарти) / / Вестник Киевского университета. Серия: физ.-мат. науки. – 2000., Вып.4. – С. 284-292.
  2. Панченко Т.В. Электронная биржа Ощадного банка Украины / / журнал «Корпоративные системы». – 2001. – № 4. – С. 53-55.
  3. Панченко Т.В. Использование формальных спецификаций для разработки Электронной биржи Ощадного банка / / Проблемы программирования. – 2002. – № 1-2. – С. 161-167.
  4. Панченко Т.В. Использование формальных спецификаций для разработки программных систем / / Вестник Киевского университета. Серия: физ.-мат. науки. – 2002. – Вып. 2. – С. 245-256.
  5. Панченко Т.В. Универсальная система авторизации денежных переводов / / журнал «Корпоративные системы». – 2002, № 4. – С. 31-37.
  6. Панченко Т.В. Типизация в композиционно-номинативных языках / / Материалы Международной научно-практической конференции студентов, аспирантов и молодых ученых «Шевченковская весна. Современное состояние науки, достижения, проблемы и перспективы развития». Сборник тезисов. – 2003. – С. 66-68.
  7. Panchenko T.V. Composition Approach to Software Systems Modeling and its Support Tools / / International Conference on Dynamical System Modeling and Stability Investigation. Thesis of Conference Reports, May 27-30, 2003. – P. 421.
  8. Панченко Т.В. Автоматизация банков: реалии и перспективы / / журнал «Корпоративные системы». – 2003. -? 3. – С. 19-24.
  9. Панченко Т.В. Моделирование структур данных и функций над ними в композиционно-номинативный языке ACoN / / Проблемы программирования. – 2004. – № 1-2. – С. 7-15.
  10. Никитченко М.С., Панченко Т.В. Структуры данных в композиционных языках программирования / / Вестник Киевского университета. Серия: физ.-мат. науки. – 2004. – Вып. 2. – С. 316-325.
  11. Панченко Т.В. Методология доказательства свойств программ в композиционных языках IPCL / / Тезисы докладов Международной конференции «Теоретические и прикладные аспекты построения программных систем» (TAAPSD’2004). Киев. – 2004. – С. 62-67.
  12. Панченко И.В., Панченко Т.В. Оптимизация работы Call-центра с помощью автоматизированной компьютерной системы Scheduling ISS v.1 / / Тезисы докладов Международной конференции «Теоретические и прикладные аспекты построения программных систем» (TAAPSD’2004). Киев. – 2004. – С. 272-274.
Новини
Дошка оголошень
Цікаві факти