Peter Gammie is a Research Fellow at The Australian National University since May 2019, with prior roles including Formal Methods Engineer at Digital Asset and Senior Developer at KCG Holdings, Inc. Peter's expertise includes working on proprietary synchronous dataflow languages and proving integrity properties in systems like the seL4 microkernel while at NICTA. Earlier experience encompasses web development for a multilingual CMS in Vietnam and teaching functional programming. Peter holds a PhD in Computer Science from The Australian National University, along with dual bachelor's degrees in Philosophy and Computer Science from UNSW and education at Chalmers University of Technology.
This person is not in the org chart
This person is not in any teams
This person is not in any offices