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

ლოგიკა როგორც პროგრამირების ენა (FR-21-7973)


დამფინანსებელი

SRNSFGშოთა რუსთაველის საქართველოს ეროვნული სამეცნიერო ფონდი

დაწყების თარიღი: 2022-01-01       დასრულების თარიღი: 2025-01-01

გამოვიკლევთ პირველი რიგის ლოგიკის პოტენციალს პარამეტრული სისტემების სპეციფიკაციისთვის. ჩვენი მიზანია ისეთი მეთოდოლოგიის შემუშავება, რაც დაგვარწმუნებს იმაში, რომ მტრულ კოალიციას არ ექნება წვდომა სენსიტიურ მონაცემებზე. ამასთან, ზოგ შემთხვევაში, ამ მეთოდოლოგიის მეშვეობით შესაძლებელი იქნება სისტემის კომპონენტების სინთეზი საიდუმლოების დაცვის სასურველი მიზნების მისაღწევად.

პროექტში მონაწილე პერსონალი:
  • Helmut Seidl (პროექტის ხელმძღვანელი)
  • Ana Idadze (კოორდინატორი)
  • Besik Dundua (ძირითადი პერსონალი)

მოხსენებები

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