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 bridge the gap between complex scientific theories and the computer code used to simulate them by building AI agents in Lean programming that extract mathematical equations from papers and translate them into formally verified code. Read more here.

]]> 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... https://my3.my.umbc.edu/api/v0/pixel/news/160845/guest@my.umbc.edu/099e0cab25b4aa90dd9c51e978d89aba/api/pixel agents ai lean UMBC AI https://my3.my.umbc.edu/groups/umbc-ai https://assets4-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779 https://assets2-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779 https://assets1-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779 https://assets1-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779 https://assets1-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779 https://assets3-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779 https://assets3-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779 https://assets4-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779 https://assets1-my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779 UMBC AI https://assets1-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/xxlarge.jpg?1782400883 https://assets1-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/xlarge.jpg?1782400883 https://assets2-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/large.jpg?1782400883 https://assets2-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/medium.jpg?1782400883 https://assets3-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/small.jpg?1782400883 https://assets2-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/xsmall.jpg?1782400883 https://assets1-my.umbc.edu/system/shared/thumbnails/news/000/160/845/b13195ca23600a8f612ef93c466cce9b/xxsmall.jpg?1782400883 Headshot of UMBC CBEE professor Tyler Josephson 0 0 true Thu, 25 Jun 2026 11:27:01 -0400