Project Grant 2327738
- The National Science Foundation (NSF) awarded a $1,000,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Trustees of the University of Pennsylvania, doing business as Clinical Practices of the University of Pennsylvania. This grant will fund research to advance the state-of-the-art in property-based testing (PBT), a software engineering methodology for writing and automatically testing system specifications. The project aims to enhance...
- The Trustees of the University of Pennsylvania received a three-year, $898,087 Project Grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund research into the movement of computation and data in split-kernel disaggregated, data-intensive systems. Specifically, the University will conduct collaborative research exploring medium approaches for...
- The Trustees Of The University Of Pennsylvania received a $569,999 Project Grant award from the National Science Foundation Division of Mathematical Sciences on July 15, 2021 to support research titled "HIGHER FUNCTION FIELD ARITHMETIC" through June 30, 2024. The grant is part of the NSF's Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in the mathematical and physical sciences and strengthen the national scientific enterprise. Specifically, the...
- The Trustees of the University of Pennsylvania received a $392,992 Project Grant from the National Science Foundation Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research and education activities aimed at developing machine learning techniques that break through the fairness-accuracy tradeoff paradigm. Specifically, the university researchers will draw on ideas from learning theory and...
- The Trustees of the University of Pennsylvania were awarded a $192,227 project grant from the National Science Foundation under the Social, Behavioral, and Economic Sciences program (CFDA 47.075). The grant will fund the acquisition of variation in child language learners project from September 1, 2021 through February 28, 2025. The project aims to contribute to understanding basic research and education in social, behavioral and economic sciences by monitoring and analyzing resources invested...
- The Trustees of the University of Pennsylvania received a $264,476 Project Grant award from the National Science Foundation to support the project "GEOMETRIC HARMONIC ANALYSIS: AFFINE AND FROBENIUS-H?RMANDER GEOMETRY" from July 1, 2021 through June 30, 2024. The grant is part of the NSF's Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in these scientific fields and strengthen the national scientific enterprise through increasing knowledge and...
- The Trustees of the University of Pennsylvania received a three-year, $339,937 Project Grant from the National Science Foundation Division of Behavioral and Cognitive Sciences. The grant supports research using genetic and computational methods to investigate morphological variation under the NSF's Social, Behavioral, and Economic Sciences program (CFDA 47.075). This program aims to strengthen basic research and education in the social, behavioral and economic sciences through funding of...
- The Trustees Of The University Of Pennsylvania received a $481,610 Project Grant award from the National Science Foundation on May 1, 2021 to support research titled "EVENT STRUCTURE IN LANGUAGE AND COGNITION" through October 31, 2024. The grant is part of the NSF's Social, Behavioral, and Economic Sciences program (CFDA 47.075), which aims to promote basic research and education in these fields as well as monitor science investments. Under this award, the University will conduct...
- The Trustees of the University of Pennsylvania were awarded a $760,000 Project Grant from the National Science Foundation to support the research project "Perfecting Complex Assemblies of Covalent and Supramolecular Polymers via Biological Principles" from June 1, 2021 through May 31, 2025. The grant was awarded under the NSF's Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in these scientific fields and strengthen the national scientific...
- The National Science Foundation awarded a $184,618 project grant to The Trustees Of The University Of Pennsylvania, doing business as Clinical Practices Of The University Of Pennsylvania, to support the project "EXPLICIT PROOFS FROM COMPACTNESS AND SATURATION" from September 1, 2021 through August 31, 2024. This project grant was awarded under the Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in the mathematical and physical sciences and...
The Trustees of the University of Pennsylvania received a three-year, $540,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program. The grant aims to improve the expressiveness of dependently-typed programming languages through developing novel type systems using dependency tracking. The University will investigate integrating dependency tracking with dependent type systems and apply the analysis to track relevance, termination, decidability, and data structure layout. This will benefit the development of dependently-typed programs by making them faster, safer, more automatic, and easier to compile. The University will rigorously evaluate the new type systems through mechanical proofs of correctness and implementation experiments. All proofs and software produced under the grant will be made publicly available. The grant period runs from December 1, 2023 to November 30, 2026.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $540.0k | 6/14/23 |