Eric Mercer receives Amazon Science Award
September 11, 2021
Dr Eric Mercer was the 2021 Amazon Research Awards recipient in AUTOMATED REASONING.
Mercer wins coveted Amazon Science Award
His work entitled "Symbolic Execution for Generating Java Tests from Dafny Models" will support students working in Dr Mercer's laboratory.