Project Grant W911NF2110318

This $100,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a novel automated reasoning system for hyperbolic geometry and create an innovative undergraduate course on AI in mathematics. The project builds on the awardee's prior work in automated theorem provers for Euclidean geometry, with the goal of extending these capabilities to the more complex domain of hyperbolic geometry....

This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program provides $174,999 to Monmouth University Inc. to develop a formal verification framework for precisely analyzing the behavior of software systems that use mutable arrays. The research aims to expand the capabilities of existing relational reasoning techniques to handle a broader range of security, privacy, and efficiency properties, particularly for programs...

This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...

The National Science Foundation awarded a $225,000 Project Grant under the Mathematical and Physical Sciences program (CFDA 47.049) to the University of Texas at Austin. The grant aims to develop a new artificial intelligence system that works alongside mathematicians to tackle longstanding open problems, with a focus on the Hadamard Conjecture. The project will combine the strengths of large language models and formal verification tools to enable scalable, trustworthy proof generation. Key...

This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) aims to develop a new artificial intelligence (AI) system that can work alongside mathematicians to tackle complex problems that have resisted solutions for nearly a century. The $0.00 award, effective September 1, 2025 through September 30, 2025, will focus on the Hadamard Conjecture, a longstanding open problem with applications in quantum error correction, communication systems,...

This federal Project Grant award of $130,500 from the National Science Foundation's (NSF) Mathematical and Physical Sciences Program (CFDA 47.049) supports research on moduli spaces in algebraic geometry. The research aims to: (1) construct and investigate specific moduli spaces of fibered varieties, (2) explore the birational geometry of algebraic stacks, and (3) study the local and global geometry of moduli spaces of varieties of general type and polarized Calabi-Yau varieties. The award...

This $245,723 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) will support collaborative research at Iowa State University of Science and Technology to develop a mathematical theory for the biological concept of modularity. The project aims to define modular structures in biological systems in a mathematically rigorous way, determine the advantages of modularity for organisms, and leverage modularity to advance the...

This National Science Foundation (NSF) STEM Education (CFDA 47.076) Project Grant award provides $749,996 to the University of Florida to develop an innovative artificial intelligence model that can provide feedback on student proofs in proof-oriented mathematics courses. The project aims to improve the proof-writing abilities of undergraduate students by training the AI model to give immediate, iterative, research-based feedback on student proofs. The project involves sub-awards to St. Olaf...

This federal Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049) provides $200,000.00 in funding to the University of Wisconsin - Madison to conduct fundamental research on mathematical models that describe complex interactions, growth, and motion in irregular environments with stochastic unpredictability. The research aims to discover general mathematical laws that govern such systems, which exhibit different...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, with a total award of $406,143, supports research to develop composable semantic models and methodologies for formally verifying the correctness of weakly consistent distributed systems. The award, granted to Northeastern University, will focus on modeling and verifying the semantics of distributed systems rather than specific implementations, enabling reusable proofs and simplified...