We focus on the large-scale application of formal methods for the rapid and reliable advancement of programming technology and the foundations of computing, making tomorrow’s digital world AI-ready and trustworthy.

FORM is currently in its inception phase, shaping its roadmap and future priorities. We are actively seeking partners and financial support – contact us if you are interested in collaborating or supporting our mission.