I am a Senior Software Engineer at Comcast in Philadelphia, USA, working on distributed systems. Previously, I have been a postdoc in the Distributed Systems Laboratory at the University of Pennsylvania, doing research on the formal analysis of networked systems, management of Internet routing. I am interested in the use of rigorous methods to design and build useful systems. This includes concerns about reliability, security, privacy, performance and transparency of operation.