info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Logic as a Programing Language (FR-21-7973)


Funded by

SRNSFGShota Rustaveli National Science Foundation of Georgia

Start Date: 2022-01-01       End Date: 2025-01-01

We explore the potential of First Order Logic for the specification of parametric systems. Our goal is to design methods for verifying the impossibility for malicious coalitions to access sensitive data. We also explore methods for automatically synthesizing system components which would guarantee the given secrecy objectives.

Project members:

Talks

  • Universal first-order safety properties, by Besik Dundua (Speaker), Ana Idadze, Helmut Seidl at XXXVI International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics of Ivane Javakhisvili Tbilisi State University , 2022, Tbilisi, Georgia.
  • Higher-Order Unification with Regular Types, by Besik Dundua (Speaker) at XXXVII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, 2023, Tbilisi, Georgia.
  • CLP(MS): Programming Using Multiple Similarity Constraints ., by Besik Dundua (Speaker) at XIII International Conference of the Georgian Mathematical Union, 2023, Batumi, Georgia.