SHORT CURRICULUM VITAE:
Born: 
Born in Kiev, Ukraine, on 2 Jan 1982 
Education: 
Student an the Taras Shevchenko National University of Kyiv, Faculty of Cybernetics (19992005); Postgraduate student at the Taras Shevchenko National University of Kyiv, Faculty o Cybernetics (19992005) 
PhD thesis: 
“Continuity of a function in intensional models of the lambdasimilar calculi” in speciality “Theoretical foundations of informatics and cybernetics” (defended in 2009) 
Employment: 
Leading engineer at the Information Technology Research Center, Taras Shevchenko National University of Kyiv (20082011). Scientific researcher (20112014) and senior scientific researcher (2014now) being simultaneously a parttime lecturer at the Faculty of Cybernetics 
SCIENTIFIC INTERESTS:
 Untyped lambdacalculus (both prooftheoretical and modeltheoretical aspects)
 General topology
 Special (not necessarily topological) notions of a continuity of a function determined by means of an underlining partial order relation and their applications to the theory lambda
 Firstorder classical logic
 Category theory, general algebra, and group theory
 Probabilistic and fuzzy logics
Address:
Faculty of Cybernetics, Taras Shevchenko National University of Kyiv, 4D, Glushkov avenue, 03680 Kyiv, Ukraine
phones: +(38 044) 259 05 11 (office)
fax: +(38 044) 259 04 39
emails: foraal@mail.ru, alyaletsky@yahoo.com
International grants:
 A student grant for the participation (with a report) in CALCULEMUS Autumn School in Pisa, Italy (2002);
 An ASL grant (USA) for the participation (with a short report) in the Internationl workshop WoLLIC’2004, Fontainebleau, France (2004);
 A student grant for the participation (with a report) in the Logic Colloquium’2004, Turin, Italy (2004);
 A grant in the framework of the Intasproject 0510000088144 “Practical formal verification using automated reasoning” (20062009);
 A grant for a shortterm research visit (1 month on the topic of the thesis) in the University of Paris 12, France (2009, according to the Spring Call 2009 of the Embassy of France for young scientists);
Participation in International Projects:
 Intas 2000447 “Weak Arithmetics” (20012004)
 Intas 0510000088144 “Practical formal verification using automated reasoning” (20062009)
 Bilateral FrenchUkrainian project “Mathematical Proving in cooperation with a computer” (20072008)
 Bilateral RomaniaUkrainian project “RomanianUkraine Research Project in Mathematical Knowledge Management” (20082009)
 Bilateral AustriaUkrainian project “Automated Processing of Mathematical Knowledge in Natural Style” (20092010)
Selected Papers:
 A.Lyaletsky. On Complete Sequent Extensions of SLDResolution. Student Poster Abstracts of the Calculemus Autumn School 2002, FR 6.2 Informatik, Universitat des Saarlandes, 66041 Saarbrucken, Germany, SEKI Report SR0206, 2002: 7579. (in English).
 A. Lyaletsky, O.Yaremchuk. On a method for solving finitely parameterized tasks and its program implementation. Proceedings of the Xth International Conference “KnowledgeDialogSolution”, Varna, Bulgaria, June 1226, 2003: 8692. (in Russian).
 A. Lyaletsky. On Some Logical Properties of Intentional Types of Continuity Defined w.r.t. Partially Order Relations. Control Systems and Machines, No. 1, 2004: 49. (in English).
 A. Lyaletsky, O.Yaremchuk. On Prediction Method Based on the Fuzzy Logic and its Software Implementation. Artificial Intelligence Studies (Proceedings of the 19th International Conference on Artificial Intelligence, Siedlce, Poland, September 2124, 2004): 4348. (in English).
 A. Lyaletsky. On types of continuity defined by partially ordered sets and their interconnection with usual topological continuity. The Bulletin of Symbolic Logic, No. 2, 2005: 284 (Also in Abstracts of the Logic Colloquium 2004, Torino, Italy, 2531 July, 2004). (in English).
 A.Lyaletski and A.Lyaletsky. Admissible substitutions and Herbrand’s theorems for classical and intuitionistic logics. Collegium Logicum of the Kurt Godel Society (Godel Centenary 2006 – An International Symposium Celebrating the 100th Birthday of Kurt Godel, 2729 April 2006, Festsaal of the University of Vienna), Springer, Volume IX, 2006: 4145. (in English).
 A.Lyaletsky. On types of convergence of sequences and topological properties of partially ordered sets. Bulletin of Taras Shevchenko National university of Kyiv, Series: Physics and Mathematics: No. 1, 2008: 121126. (in Ukrainian).
 A.Lyaletsky. On types of continuity of a function and their ordertheoretical properties. Bulletin of Taras Shevchenko National university of Kyiv, Series: Physics and Mathematics: No. 2, 2008: 98104. (in Ukrainian).
 A. Lyaletsky. Continuity and settheoretic models of the theory lambda. Proceedings of the International conference “Mal’tsev Meeting”, Novosibirsk, Russia, August 2428, 2009: 192. (in Russian).
 A.Lyaletsky. Continuity of a function in intensional models of lambdasimilar calculi. PhD Thesis, Kiev, 2009: 110 pp. (in Ukrainian).
 A.Lyaletsky. Ordertheoretical characterization of (θ)continuous functions and their properties. Proceedings of the International Conference “Mal’tsev Meeting”, Novosibirsk, Russia, 1114 October, 2011: 103. (in Russian).
 A.Lyaletsky. On correct method for _nding a solution of a fuzzy task. Mathematical machines and systems, No. 4, 2011: 7883. (in Russian).
 A.Lyaletsky. Cartesian properties of the category of bounded complete vector lattices. Bulletin of Taras Shevchenko National university of Kyiv, Series: Physics and Mathematics: No. 3, 2012: 109111. (in Ukrainian).
 A.Lyaletsky. Cartesian properties of the categories of bounded complete latticeordered abelian groups and vector lattices with continuous morphisms. Proceedings of the International Conference “Mal’tsev Meeting”, Novosibirsk, Russia, 1216 November, 2012: 112. (in Russian).
 A.Lyaletsky. New proofs of important theorems of untyped extensional lambdacalculus. Cybernetics and Systems Analysis, SpringerVerlag, 50(4), 2014: 529537. (in English).
 A.Lyaletsky. Fundamental theorems of extensional untyped _calculus revisited. Proceedings of the Workshop on Foundations of Informatics (FOI2015), August 2429, 2015, Chisinau, Republic of Moldova, 2015: 168179. (in English).
Tutorials and books:
 A.Lyaletsky, A.Afonin. A short tutorial on discrete mathematics. Numbers, sets, functions, relations (published by the decision of the Scientific Council of the National University of KyivMohyla Academy, Faculty of informatics), ArtalexPrint, Kiev, 2014: 56 pp. (in Ukrainian)
