Dondua Besik

Full Name
Dondua Besik
+995 55 373216
Web Page
Date Of Birth
2003 Master of Science in Mathematics. Tbilisi State University, Tbilisi, Georgia. 2001 – 2003 Studies at the Master of Science program, Department of Mechanics and Mathematics, Tbilisi State University, Tbilisi, Georgia. 2001 Bachelor degree in Mathematics, Tbilisi State University, Tbilisi, Georgia. 1997 – 2001 Studies at the Department of Mechanics and Mathematics, Tbilisi State University, Tbilisi, Georgia. 1986 – 1997 School education, Abasha, Georgia.
2006- 2010 Researcher, Vekua Institute of Applied Mathematics, Tbilisi State University, Tbilisi, Georgia. 2004 – 2006 Guest Researcher, Research Institute for Symbolic Computation (RISC), Johannes Kepler University(JKU), Linz, Austria. 2003 – 2004 Research Assistant, Vekua Institute of Applied Mathematics, Tbilisi State University, Tbilisi, Georgia.
2010 Jorge Coelho, Besik Dundua, Mario Florido, and Temur Kutsia. A rule-based approach to XML processing and web reasoning. In Pascal Hitzler and Thomas Lukasiewicz, editors, RR, volume 6333 of Lecture Notes in Computer Science, pages 164-172. Springer. 2010 Besik Dundua and Levan Uridia. Trust and belief, interrelation. In Adriana Giret Marc Esteva, Alberto Fernandez and Vicente Julian, editors, Proceedings of the Third Workshop on Agreement Technologies (WAT 2010), volume 657, pages 35 42. CEUR Workshop Proceedings. 2010 Besik Dundua, Temur Kutsia and Mircea Marin. Strategies in PLog. Proceedings of 9th International Workshop on Reduction Strategies in Rewriting and Programming, Electronic Proceedings in Theoretical Computer Science , vol. 15, pp. 32-43, 2010. 2010 Kh. Rukhaia, L. Tibua and B. Dundua. A Method for XML Processing and Reasoning. Proceedings of the Seventh International Conference Theoretical and Applied Aspects of Program Systems Development (TAAPSD2010). Kyiv National Taras Shevchenko University. 2010 B. Dundua. Inference Mechanism of PLog. Reports of Enlarged Sessions the seminar of I.Vekua Institute of Applied Mathematics (accepted for publication). 2008 B. Dundua Programming with Sequence and Context Variables. Proceedings of I. Vekua Institute of Applied Mathematics, volume 58, 2008. 2006 Kh. Rukhaia, L. Tibua, G. Chankvetadze and B. Dundua. One Method of Constructing a Formal System; Applied Mathematics, Informatics and Mechanics( AMIM)T.11. N 2; 2006.
Conferences,contacts,other scientific and educational activities
April 2011 Third International ALP/GULP Spring School on Computational Logic . September 2010 First International Conferenceof the Georgian Mathematical Union. September 2010 The Fourth International Conference onWeb Reasoning and Rule Systems, RR 2010, Bressanone/Brixen, Italy. September 2009 Eighth International Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia. September 2008 International Conference on Modern Problems in Applied Mathematics, Tbilisi, Georgia July 2008 19th International Conference on Rewriting Techniques and Applications (RTA 2008), Linz, Austria June 2007 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2007), Linz, Austria June 2007 Mathematical Knowledge Management (MKM 2007), Linz, Austria May 2006 Special Semester on Grobner Bases, Workshop on Formal Grobner Bases Theory, Linz, Austria April 2005 SFB Workshop-Seminar, Strobl, Austria August 2003 European Summer School on Logic, Language and Information (ESSLLI’03). Vienna, Austria October 2002 9th International Conference on Logic for Programming and Automated Reasoning (LPAR’02). Tbilisi, Georgia August 2000 Tbilisi Summer School on Logic, Language and Information. Tbilisi, Georgia
Participation in Grant Projects
2010 Georgia National Science Foundation projects: YS09 2 1-120 and 09 184 1-120 2006- 2009 INTAS Ref. Nr 05-1000008-8144 2004-2006 Research scholarship program of the government of Upper Austria
Georgian, English, Russian, German
Scientific interests
Uni cation, rule-based programming, logic programming, lambda calculus, functional programming, rewriting, recursive function theory, formal languages.
Current scientific activities
Future work plans
Theoretical Foundations in Mathematics