The University of Colorado, Boulder is the recipient of a $875,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The project, titled "FMITF: TRACK I: VERIFIED PROBABILISTIC PROGRAMMING FOR HYBRID SYSTEMS," is developing a probabilistic programming framework for modeling complex systems that combine continuous dynamics and discrete state changes. The framework is being applied to areas such as epidemiology, medical devices, and autonomous systems. Key project activities include creating rigorous model transformation techniques, using formal verification methods to ensure model integrity, and recruiting and training a diverse cohort of undergraduate researchers. The project aims to deliver a useful modeling approach to support robust, model-based decision-making across science and engineering domains. This award reflects NSF's mission to advance scientific discovery and technological innovation with potential for broad societal impact.
Generated 1/28/25, 8:56 AM