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:
- 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
- A. Paskevich. Formalized Theory Language and Mathematical Knowledge Processing // Proc. of Intern. Workshop RTETP'2000, Kyiv, Ukraine, 2000
- K. Vershinin, A. Paskevich. ForTheL -- the language of formal theories // IJ Information Theories and Applications, v. 7-3, 2000
- 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
- A. Lyaletski, A. Paskevich. Goal-Driven Inference Search in Classical Propositional Logic // Proc. of Intern. Workshop "STRATEGIES-2001", Siena, Italy, 2001
- 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
- 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
- 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
- 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
- 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
- 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
|
Go to Logic in Informatics Home Page
