January 2026 – present
Research Partners:
- Research Center for Logic, Optimization & Security (LOS), University of Bucharest
- Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR)
Research Team:
- Laurenţiu Leuştean (Principal Investigator)
- Dafina Trufaș
ILDS Management Team:
Description:
This project focuses on the theoretical foundations of matching logic, a formal framework developed by Grigore Roşu and his collaborators.