WASHINGTON - Senator Chuck Grassley today announced that the University of Iowa has received a $691,207 competitive grant from the National Science Foundation.
The University of Iowa will use the money to help pay for a research project titled, "SHF: Large: Collaborative Research: TRELLYS: Community-Based Design and Implementation of a Dependently Typed Programming Language." The project should help construct functionally correct software systems in a cost-effective manner.