Eric Mercer receives Amazon Science Award
September 11, 2021
Eric Mercer

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.