One thing I've always appreciated about the NSF is their broad mission to "promote the progress of science" both through new research and its public communication. See the following thread for #DMSFunded work describing recent developments in category theory, homotopy theory, and formalization:
The 2024 ICSA Applied Statistics Symposium will be supported in part by NSF Award No. 2410953. The $20K grant from the National Science Foundation will assist students, early-career researchers, and underrepresented groups with conference expenses. #DMSFunded #ICSAnashville symposium2024.icsa.org
Congratulations🎉 to my student Jiawei Wang👨🎓for completing the Ph.D. program in Mathematics @UCDavis with his dissertation "Subadditivity of Piecewise Linear Functions" #cutgeneratingfunctionology📈📉 #orms #DMSFunded
https://www.linkedin.com/in/jiawei-wang-a68510158/
Major new release 1.5 of our @SageMath package https://github.com/mkoeppe/cutgeneratingfunctionology (with new #python code by Yuan Zhou @UKentucky and Jiawei Wang @UCDavis)
#cutgeneratingfunctionology 📈📉 #orms
@NSF_MPS #DMSFunded
Excited to start today an NSF #DMSFunded project on "Next-Generation Cutting Planes: CAD/CAM" . www.nsf.gov/awardsearch/showAward @UCDavisResearch @UCDavisGGAM #cutgeneratingfunctionology 📈📉 #orms
