Z-inspection® is a general inspection process for Ethical AI which can be applied to a variety of domains such as business, healthcare, public sector, among many others.
It uses applied ethics. To the best of our knowledge, Z-inspection® is the first process that to assess Trustworthy AI in practice. (Roberto V. Zicari et al.)
Combinatory Logic Synthesizer (CLS)
Programming technology foundations for Accountability, Privacy-by-design & Robustness in Context-aware Systems
Dependable Distributed Systems with Privacy Guarantees
Dependable system for manufacturing, supply chains, and healthcare with formal guarantees for privacy and security.