Award Recipient Jean Pichon-Pharabod Aarhus University Social website 2023 Amazon Research Award Validating Isolation of Virtual Machines in the Cloud Research topic Automated reasoning
