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)
- MERINET
(Rigorous Methods for the Future Internet, TIN2016-76843-C4-1-R)
- DeepTrust (Deep Logic Technology for Software Trustworthiness, PROMETEO/2019/098)
- COST action IC1405
on reversible computation -extending horizons of computing
I also collaborate with the
DCore
project on Causal Debugging for Concurrent Systems.