Trustworthy Distributed Systems
Formal methods and programming languages for trustworthy and dependable distributed systems provide abstractions for developers and architect to design and implement distributed systems with formal guarantees. Sub-projects:
- OOP Manipulation via Co-Inductive Intersection Types
- Reliable Software for Event-driven Architectures
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.)
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.