We use the UMBC group umbc-ai to share news about AI research, events, and opportunities at UMBC. UMBC faculty, staff, and students can join the group to receive email messages. Anyone can view past news on the group or on the AI.UMBC.EDU website. Below are short summaries of recent messages from the UMBC AI Center.
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
