Research Projects
I'm currently involved in the following R&D projects:
- Tailor
(Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization, ICT-48 H2020-RIA-952215)
- SAFER (Analysis and Validation of Software and Web Resources, PID2019-104735RB-C41)
- FassLow (Fast and Slow Learning and Reasoning Technologies, CIPROM/2022/6)
I also collaborate with the
DCore
project on Causal Debugging for Concurrent Systems.