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.