MIT Programming Languages & Verification Group

Mission
Improve the software development process by replacing ugly development techniques with beautiful ones.
Secret weapon
Applied mathematical logic, including computer theorem proving (especially Coq) and type systems.
Code
Visit us on GitHub.
Latest news
See our blog and our CSAIL page.
Group members, publications, etc.
See Adam Chlipala's home page.