Before joining VMware Research, I got my PhD from the University of New South Wales and NICTA, worked as researcher at NICTA, a postdoc at the University of Toronto and at the Carnegie Mellon University, and a researcher at Samsung Research America. The main theme of my work is applying formal methods to build better operating systems and networks.