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-10Org chart
Collapse
No reports!
Teams
This company has no teams yet
Offices
This company has no offices yet
