**Ph.D. Besik Dundua**

**Contact Info**

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

**Specific and Technical Skills**

- English - Fluent, Georgian -Native

**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

- 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-

- Symbolic computation,computational logic, formal languages, unification, rewriting, declarative programming, machine learning, big data.

- 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.

- 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

- 2017-2018 "Theoretical Foundations of Computer "
- 2016-2017 "Functional Programming"
- 2016-2017 "Declarative Programming Languages"
- 2016-2017 "Advanced Programming Languages"
- 2015-2016 "Research Methodology"