Showing items tagged lean. Show All
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...
Posted: June 25, 2026, 11:27 AM
