PurForM is Purdue's Formal Methods research group led by Prof. Roopsha Samanta.

Our research mission is to make it easier for programmers to write provably reliable programs. We bring together ideas from formal methods, programming languages and, more recently, machine learning to develop algorithms and and tools for automated repair, synthesis and verification of diverse systems.

If you would like to learn more about our work, check out our Projects!