For his dissertation, "Data Representation Synthesis," nominated by Stanford University.
ABOUT PETER HAWKINS
Honorable Mention recipient Peter Hawkins’ dissertation, “Data Representation Synthesis,” explores the problem of specifying combinations of data structures with complex sharing and results in provably correct code. In his work on program synthesis, he developed techniques that allow programmers to write their code at a high level, aiding verification while still retaining control over low-level details that are important for efficiency.
His work received the Best Paper award at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in 2011 and the Distinguished Paper award in 2012. A native of Canberra, Australia, Hawkins was a member of Australia’s first Informatics Olympiad team. He received Ph.D. and M.S. degrees from Stanford University in Computer Science, and a B.Sc. degree at the University of Melbourne, Australia. Currently, he is a Research Scientist at Google in Mountain View, CA.