Andriy (Andrey) Yurijovych Paskevych


MSc. Andriy (Andrey) Yurijovych Paskevych

Post-Graduate Student,

studying at the Cybernetics Department

of the National Taras Shevchenko University of Kyiv.


See below:

Personal Information

Education

Experience & Membrships

Conferences & Workshops

Publications



CURRICULUM VITAE
Personal Information

 

 

Name: Andrey PASKEVICH
E-mail: andrey@raptor.kiev.ua
Birth date: 14 September 1979
Nationality: Ukrainian
Languages: Russian, Ukrainian (native)

English, French (spoken and written)


Education
 

 

1995 — 1999 Kiev National Taras Shevchenko University,

Cybernetics Department

Degree: Bachelor of applied mathematics

1999 — 2001 Kiev National Taras Shevchenko University,

Cybernetics Department, master course

Degree: Master of informatics (with honours)

after 2001 Kiev National Taras Shevchenko University,

Cybernetics Department, post-graduate course

in co-tutelage with

University Paris XII — Val de Marne,

Ecole Doctorale des sciences et d’ingenierie


Experience & Membrships
 

 

  • 1998 — 2000
Participation in the INTAS-project 96-0760

“Rewriting Techniques and Efficient Theorem Proving”

  • April 2000
Research Institute for Symbolic Computation (RISC),

Hagenberg, Linz, Austria. Education and research

in the frame of the INTAS-project 96-0760

  • After 2001
Participation in the INTAS-project 2000-447

“Weak arithmetics”


Conferences & Workshops
 

 

  • May 2000 International Workshop “Rewriting Techniques and Efficient Theorem Proving”, Kiev, Ukraine
  • September 2000 Fifth International Conference “Information Theories and Application”, Varna, Bulgary
  • June 2001 Fifth International Joint Conference on Automated Reasoning, IJCAR’2001, Siena, Italy
  • September 2002 CALCULEMUS Autumn School in Computer Algebra and Deduction Systems, Pisa, Italy


Publications:
 

 

  1. A. Paskevich. Peculiarities of the implementation of a high-level language for processing of mathematical texts (in Ukrainian) // Bulletin of the University of Kiev, series: Physics and Mathematics, v. 2, 1999
  2. A. Paskevich. Formalized Theory Language and Mathematical Knowledge Processing // Proc. of Intern. Workshop RTETP’2000, Kyiv, Ukraine, 2000
  3. K. Vershinin, A. Paskevich. ForTheL — the language of formal theories // IJ Information Theories and Applications, v. 7-3, 2000
  4. A. Lyaletski, A. Paskevich. On some strategies of logical inference search that are driven by goals (in Ukrainian) // Bulletin of the University of Kiev, series: Physics and Mathematics, v. 2, 2001
  5. A. Lyaletski, A. Paskevich. Goal-Driven Inference Search in Classical Propositional Logic // Proc. of Intern. Workshop “STRATEGIES-2001″, Siena, Italy, 2001
  6. A.Lyaletski, K.Verchinine, A.Degtyarev, A.Paskevich. SAD, a System for Automated Deduction: a Current State // Proc. of Intern. Workshop Automath’2002, Great Britain, Edinburgh, 2002
  7. A. Lyaletski, K. Verchinine, A. Degtyarev, A. Paskevich. System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities // In: M.A. Klopotek, S.T. Wierzchon, and M. Michaliwicz, editors, Advances in Soft Computing: Intelligent Information Systems 2002, Physica-Verlag, Springer, 2002
  8. Z. Aselderov, K. Verchinine, A. Degtyarev, A.Lyaletski, A. Paskevich, A.Pavlov. Linguistic Tools and Deductive Technique of the System for Automated Deduction // Proc. of the 3rd International Workshop on the Implementation of Logics, October 14-18, 2002, Tbilisi, Georgia
  9. A. Lyaletski, K. Verchinine, A. Degtyarev, A. Paskevich. Peculiarities of Mathematical Texts Processing in the System for Automated Deduction, SAD, (in Russian) // Artificial Intelligence (Proceedings of the 3rd International Conference “Artificial Intelligence”, October 2002, Katsiveli, Ukraine), No 4, 2002
  10. K. Verchinine, A. Degtyarev, M. Morokhovets, A. Lyaletski, A. Paskevich. Formalized Mathematical Texts Processing and Evidence Algorithm (in Russian) // IJ Problems of Informatics and Management, vol 6, 2002
  11. A. Paskevich. A notion of a local truth and its applications in automated theorem proving (in Ukrainian) // Bulletin of the University of Kiev, series: Physics and Mathematics, v. 1, 2003