ZHAW Research
Partnership
True Aim's core technology originated at ZHAW (Zurich University of Applied Sciences). Our ongoing research partnership advances neuro-symbolic AI for regulated industries.
Research Focus Areas
Neuro-Symbolic AI
Combining the flexibility of neural networks with the precision of symbolic reasoning. Our research focuses on making AI decisions deterministic and fully explainable.
Logic Extraction & Automation
Developing methods to extract formal logic from natural-language policy documents and transform it into computable decision rules.
Deterministic Decisioning
Ensuring that identical inputs always produce identical outputs, with complete traceability from decision to source text. Critical for regulatory compliance.
Applied Industry Research
Bridging academic research and real-world insurance operations. Testing and validating approaches against actual claims data and policy documents.
About the Research Group
The research is hosted within ZHAW's School of Engineering, specifically the Institute of Applied Information Technology (InIT) and the Centre for Artificial Intelligence (CAI).
Dr. Dandolo Flumini
Original developer of the MIRA technology. PhD in Mathematics and Computer Science. Leads the Innosuisse-funded research programme.
Dr. Lukas Lichtensteiger
Harvard alumnus, serial entrepreneur and CTO. ZHAW researcher in AI and robotics. True Aim technical advisor.
See the Research in Action
Discover how our ZHAW-rooted technology delivers auditable claims decisions.