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)

Automatic program synthesis from component libraries using semantic specifications. (with Jakob Rehof, Jan Bessai, George T. Heineman)


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.

Team Members