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




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.
Новини
Дошка оголошень
Цікаві факти