Award Recipient Azalea Raad Imperial College London 2025 Amazon Research Award Soteria in Lean: Mechanising the Next Generation of Symbolic Execution Tools Research topic Automated reasoning
