We are a non-profit organisation dedicated to formal methods and artificial intelligence research, committed to building open infrastructure for the safety assurance of algorithmic systems, for the benefit of all.
Employees
1-10This company has no org chart yet
This company has no teams yet
This company has no offices yet