We support private and public organizations in evaluating their AI-based processes to ensure they meet high standards of transparency and fairness in compliance with the latest regulations.
Employment of completely transparent formal methods in addition to existing statistical methods for the analysis and verification of AI models.
Employment of logical methods (the effectiveness of which in developing AI is well established) for the analysis and verification of AI models.
Ethical and human-centered approach throughout development and deployment: fully transparent, human-designed systems, inspired by ethical principles and formal results.
Academy-industry interaction at all stages of the process: collaboration of experts in data science, ethics and philosophy, formal methods, mathematics and computer science.
No reliance on possession of data collections for the development and deployment of marketed systems.