Award Recipient Lucas Cordeiro The University of Manchester 2025 Amazon Research Award Combining Formal Methods with Large Language Models in ESBMC: Enabling Automated Program Verification t Research topic Automated reasoning
