Peter Müller receives Amazon Research Award
Professor Peter Müller, head of the Programming Methodology Group, received the prestigious Amazon Research Award for his valuable contributions in the field of automated reasoning.
For his work "Verification of Rust Programs against TLA+ Specifications", Professor Peter Müller was granted the Spring 2021 Amazon Research Award. The recipients have access to more than 250 Amazon public datasets, and can utilise AWS AI/ML services and tools through their AWS Promotional Credits. "Amazon Web Services is at the forefront of applying program verification in industrial software development. We are excited that they are supporting our work on Rust verification, both financially and through a fruitful collaboration", emphasises Müller. Alexander Summers, former team member of Peter Müller, was also amongst the award recipients.
Amazon Research Awards (ARA) was founded in 2015 and merged with AWS Machine Learning Research Awards (MLRA) in 2020. The program offers unrestricted funds and AWS Promotional Credits to support research at academic institutions and non-profit organisations in areas that aim to advance customer-obsessed science.
About
Peter Müller heads the Programming Methodology Group at ETH Zurich since August 2008. From 2017 to 2020 he was head of the Institute for Programming Languages and Systems. His research focuses on languages, techniques, and tools for the development of correct software. He is a member and vice chair of the IFIP Working Group 2.3 on Programming Methodology and a member of the IFIP Working Group 1.9/2.15 on Verified Software.