Award Recipient Anton Burtsev University Of Utah Social website 2022 Amazon Research Award Atmosphere: leveraging language safety and operating system design for verification
