Biographical Sketch

Peter is a Ph.D. candidate in Computer Science at Stanford University. Peter's research focuses on the theory and practice of programming languages, advised by Alex Aiken. His primary research interests are program verification, and techniques for making programmers more productive. The main thrust of his recent work has been program synthesis, developing 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.

Résumé available on request.



I'm originally from Canberra, Australia. I'm an avid trad climber, hiker, and runner. I'm an instructor with Stanford's student-led Outdoor Education Program.