Shaping the Future of Computing from Solid Foundations
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.
Our Vision
Society needs computing innovation to become faster, safer, and more reliable. Our vision is to unlock this future through rigorous mathematical methods that enable humans and artificial intelligence (AI) to collaborate with confidence.
By automating these methods in computer tools, we can facilitate the rapid assembly of new theories and software, as well as the production of verifiable mathematical evidence that these artifacts do what we want them to do.
