Ph.D. Besik Dundua

Contact Info

  • Master and PhD Programs Coordinator
  • bdundua@ibsu.edu.ge
  • 555373216

Specific and Technical Skills

Languages
  • English - Fluent, Georgian -Native
Education
  • PhD, University of Porto, Department of Computer Science, Faculty of Science, 2014, Porto, Portugal
  • MSc, Tbilisi State University, Faculty of Mechanics and Mathematics, 2003, Tbilisi, Georgia
  • Bsc, Tbilisi State University, Faculty of Mechanics and Mathematics, 2001, Tbilisi, Georgia
Academic and Administrative Experience
  • Guest Researcher, Johannes Kepler University, Research Institute for Symbolic Computation, 2004-2006
  • Researcher, Ivane Javakhishvili Tbilisi State University, Ilia Vekua Institute of Applied Mathematics , 2007-2009
  • Researcher, University of Porto, Artificial Intelligence and Computer Science Laboratory, 2010-2014
  • Invited Lecturer, International Black Sea University, Faculty of Computer Technologies and Engineering, 2015-2017
  • Researcher, Ivane Javakhishvili Tbilisi State University, Ilia Vekua Institute of Applied Mathematics , 2014 -
  • Visiting Researcher, University of Stuttgart, Department of Computer Science, 2017 June - 2017 Nov
  • Visiting Researcher, University of Brasilia, Department of Computer Science, 2015 Feb - 2015 Aug
  • Visiting researcher, Johannes Kepler University, Research Institute for Symbolic Computation, 2015 Dec - 2016 June
  • Msc and PhD Programs coordinator, International Black Sea University, Faculty of Computer Technologies and Engineering, 2018-
Research Interests
  • Symbolic computation,computational logic, formal languages, unification, rewriting, declarative programming, machine learning, big data.
Selected Publications
Journals
  • Besik Dundua, Temur Kutsia and Mircea Marin. (32-43). Strategies in P$\rho$Log. Electronic Proceedings in Theoretical Computer Science. 15, pp.2010.
  • Sandra Alves, Besik Dundua, Mario Florido and Temur Kutsia. (2018). Pattern-Based Calculi with Finitary Matching. Logic Journal of the IGPL. 26(2), pp.203–243. https://doi.org/10.1093/JIGPAL/jzx059.
  • Besik Dundua, Mikheil Rukhaia, Khimuri Rukhaia and Lali Tibua. (2017). P$\rho$Log for Access Control. Journal of Technical Science and Technologies. 5(2), pp.41-44.
  • Jemal Antidze, Besik Dundua, Mikheil Rukhaia and Lali Tibua. (2017). Application of CLP(SC) in Membrane Computing. Journal of Technical Science and Technologies. 5(2), pp.7-13.
  • Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer. (2017). An Overview of P$\rho$Log. Lecture Notes in Computer Science. 10137, pp.34–49.
  • Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer. (2016). P$\rho$Log: Combining Logic Programming with Conditional Transformation Systems (Tool Description). OpenAccess Series in Informatics. 52, pp.10.1–10.5.
  • Mariam Beriashvili and Besik Dundua. (2016). A Constraint Solver for Equations over Sequences and Contexts. Advances in Intelligent Systems and Computing. 453, pp.115-128.
  • Besik Dundua, Mario Florido, Temur Kutsia, and Mircea Marin. (2016). CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming. 16(2), pp.141–162.
  • Mircea Marin, Temur Kutsia and Besik Dundua. (2016). A Rewrite-based Computational Model for Functional Logic Programming. EPiC Series. 39, pp.95–106.
  • Besik Dundua, Mario Florido, Temur Kutsia, and Mircea Marin. (2014). Constraint Logic Programming for Hedges: a Semantic Reconstruction. Lecture Notes in Computer Science. 8475, pp.285-301.
  • Besik Dundua and Levan Uridia. (2010). Trust and Belief, Interrelation. CEUR Workshop Proceedings. 657, pp.35-42.
  • Jorge Coelho, Besik Dundua, Mario Florido, Temur Kutsia. (2010). A Rule-Based Approach to XML Processing and Web Reasoning. Lecture Notes in Computer Science. 6333, pp.164-172.
  • Besik Dundua. (2010). Inference mechanism of P$\rho$Log. Reports of Enlarged Session of the Seminar of I. Vekua Institute of Applied Mathematics. 24, pp.29-35.
  • Besik Dundua. (2008). Programming with sequence and context variables. Proceedings of I. Vekua Institute of Applied Mathematics. 58, pp.25-31.
Proceedings
  • Muricio Ayala-Rincon, Besik Dundua, Temur Kutsia and Mircea Marin Rewriting Logic from a $\rho$Log Point of View. 12th Workshop on Logical and Semantic Frameworks with Applications. 2017. Brasilia, Brazil. pp.229-244. http://lsfa2017.cic.unb.br/.
  • Besik Dundua, Lia Kurtanidze and Mikheil Rukhaia Unranked Tableaux Calculus for Web Related Applications. First Ukraine Conference on Electrical and Computer Engineering. 2017. Kiev, Ukraine. pp.1181–1184. http://ieeexplore.ieee.org/document/8100435/.
  • Besik Dundua, Mário Florido, Temur Kutsia Lambda Calculus with Regular Types. 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 2015. Tmisoara, Romania. pp.129–136.
  • Sandra Alves, Besik Dundua, Mario Florido and Temur Kutsia A Confluent Pattern Calculus with Hedge Variables. International Workshop on Confluence. 2013. Eimdhoven. pp.41--45.

Projects

  • ``Rule-Based Approach to Attribute-Based Access Control'' FR 1 7\_439. Funded by Rustaveli Science Foundation. Georgia. 2018-2021
  • ``Solving Tree Regular Equations'' 57379864. Funded jointly by Shota Rustaveli National Science Foundation (SRNSF) and German Academic Exchange Servic. Germany. 2017 (June-Nov)
  • ``Higher Order Term Rewriting with Regular Types'' FR/325/4-120/14. Funded by Rustaveli Science Foundation. Georgia. 2015-2017
  • ``CLP(HC) : Foundation, Implementation, Applications'' FR/325/4-120/14. Funded by Rustaveli Science Foundation. Georgia. 2015-2017
  • ``Higher Order Matching for Regularly Typed Terms'' YS/10/11-811/15 (visiting grant). Funded by Rustaveli Science Foundation. Georgia. 2015-2016
  • ``Higher Order Hedge Rewriting'' N 401319/2014-8 . Funded by National Council of Scientific and Technological Development – CNPq. Brazil. 2015 Feb -2015 Aug
  • ``A Pattern Calculus with Hedge Variables'' FR/611/4-102/12. Funded by Rustaveli Science Foundation. Georgia. 2013-2015
  • ``Constraint Logic Programming over Unranked Terms and Hedges with Description Operators'' (DI/16/4-120/11). Funded by Rustaveli Science Foundation. Georgia. 2012-2015
  • ``Programming with Sequence and Context Variables: Foundations and Applications'' (SFRH/BD/62058/2009). Funded by Fundação para a Ciência e a Tecnolog. Portugal. 2010-2014
  • ``Second Order Programming with Transformational Rules with Sequence Variables'' (YS09 2 1-120). Funded by Georgian National Science Foundation.. Georgia. 2010
  • ``Rule-Based Programming with Second-Order and Sequence Variables'' (09 184 1-120). Funded by the Georgian National Science Foundation. Georgia. 2010
  • ``Practical Formal Verification Using Automated Reasoning and Model Checking'' (05-1000008-8144). Funded by INTAS.. Belgium. 2006-2009
Courses Taught
  • 2017-2018 "Theoretical Foundations of Computer "
  • 2016-2017 "Functional Programming"
  • 2016-2017 "Declarative Programming Languages"
  • 2016-2017 "Advanced Programming Languages"
  • 2015-2016 "Research Methodology"