Panchenko Taras Volodymyrovych




Surname: Panchenko

Name: Taras

Last name: Volodymyrovych

PhD

pantaras@ukr.net

Associate Professor,
Candidate of Science

He graduated from Kyiv University in 2001. Defended a diploma on “Development and implementation of Web-based technology Electronic Exchange Savings Bank for the purchase of exchange” with an “excellent” and received a Master’s degree in computer science with honors. In 2001, entered graduate school at the Department of Theory of Programming. She is working on “Development of composite methods and software to support.” Powered by the department since 2002.

Research Interests:

  • compositional methods;
  • Internet technologies;
  • database.

Conducts practical and laboratory classes on course “System Programming” and “Programming”. Lecture courses “Fundamentals of Internet / intranet-programming” and “Technology Internet”.

E- mail: pantaras @ ukr. net

Publications:

  1. Panchenko TV Propositional calculus for three-digit sequential logic (type system McCarthy) / / Bulletin of Kiev University. Series: Sci. science. – 2000., Vyp.4. – S. 284-292.
  2. Panchenko TV The exchange Electronic Savings Bank of Ukraine / / log “Korporatyvnыe system.” – 2001. – № 4. – S. 53-55.
  3. Panchenko TV Using Formal Specifications for Electronic Exchange Development Savings Bank / / Problems of programming. – 2002. – № 1-2. – S. 161-167.
  4. Panchenko TV Formal specifications for software development / / Bulletin of Kiev University. Series: Sci. science. – 2002. – No. 2. – S. 245-256.
  5. Panchenko TV Universal System Authorization denezhnыh Translation / / log “Korporatyvnыe system.” – 2002, № 4. – S. 31-37.
  6. Panchenko TV Casting in composition nominative languages ??/ / International Scientific Conference of Students and young scientists named “Shevchenko spring. Current state of science, progress, problems and prospects.” The collection of abstracts. – 2003. – S. 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. Panchenko TV Automation banks: realyy and prospects / / log “Korporatyvnыe system.” – 2003. – 3. – S. 19-24.
  9. Panchenko TV Simulation data structures and functions over them in the composition nominative language ACoN / / Problems of programming. – 2004. – № 1-2. – S. 7-15.
  10. Nikitchenko MS, Panchenko TV Data structures in composite programming languages ??/ / Bulletin of Kiev University. Series: Sci. science. – 2004. – No. 2. – S. 316-325.
  11. Panchenko TV Methodology prove properties of programs in languages ??composite IPCL / / Proceedings of International Conference “Theoretical and practical aspects of building software systems” (TAAPSD’2004). Kyiv. – 2004. – S. 62-67.
  12. IV Panchenko Panchenko TV Optimization of Call-Center with Automated Computer System Scheduling ISS v.1 / / Proceedings of International Conference “Theoretical and practical aspects of building software systems” (TAAPSD’2004). Kyiv. – 2004. – S. 272-274.
Новини
Дошка оголошень
Цікаві факти