CAREER: Patterns and Toolkits for Making Scientific Notation and Formal Proof Understandab — NSF Award to University of Pennsylvan
Some of the most powerful ideas in STEM are expressed in symbols, equations, and proofs. Unfortunately, these formal representations (i.e., formalisms) can be hard to understand, putting distance between millions of learners, practitioners, and scientists and the concepts that could support their work. The fact that sc
| Award title | CAREER: Patterns and Toolkits for Making Scientific Notation and Formal Proof Understandab |
|---|---|
| Award ID | 2541577 |
| Awardee | University of Pennsylvania |
| City | PHILADELPHIA |
| State | PA |
| Amount obligated | $400,807 |
| Principal investigator | Andrew Head |
| Program | HCC-Human-Centered Computing |
| Start date | 06/01/2026 |
| Abstract | Some of the most powerful ideas in STEM are expressed in symbols, equations, and proofs. Unfortunately, these formal representations (i.e., formalisms) can be hard to understand, putting distance between millions of learners, practitioners, and scientists and the concepts that could support their work. The fact that scientific texts are becoming increasingly digital provides new opportunities to help readers understand formalisms. Digital texts might let readers look at individual terms in equat |
| Source | NSF Awards |
$799/mo
Try NSFGrants →