Modfound grant

jgbm · jgbm · commit 08e89f1376e3 · 2025-09-03T16:04:17.000-05:00
diff --git a/_news/Morris-Modfound.md b/_news/Morris-Modfound.md
@@ -0,0 +1,9 @@
+---
+title: Morris awarded $1.2M to explore foundations for extensible proof
+date: 2025-08-22
+author: J. Garrett Morris
+layout: post
+---
+
+Morris was awarded $1.2M by the National Science Foundation to explore extensible foundations for modular mathematics and semantics. The project will build on recent work that developed row types as a foundation for extensible data types.
+
