UMBC AI
Institutional Group • Public • 422 people
The following list of posts is filtered Clear Filter

Posts

Tyler Josephson receives Amazon Research Award to make scientific software more reliable
UMBC CBEE professor Tyler Josephson received an Amazon Research Award to improve the accuracy of scientific computing. His “Autoformalization for Scientific Computing in Lean” project will help...
June 25, 2026 · 11:27 AM

Sort By

Filter Posts

Clear Filter

Archived Posts

View Archived Posts

Archived Content

#1.20.7.16 - 6666 - production - prod6 - general-public