Dr. Page Receives Three Year Grant

The National Science Foundation has awarded a three-year grant totaling $500,000 to support a collaboration between Dr. Rex Page and a Matthias Felleisen of Northeastern University. The project calls for building an interactive development environment and supporting modular software development and validation with the ACL2 mechanized logic and its associated programming langauge, and the development of tested curricular materials to introducing undergraduate students to this technology. Dr Page's portion of the work focuses on curricular materials and outreach. Dr Felleisen and his team at Northeastern will deliver the IDE.