Alexander Gurney

current activities.

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.


Probably the most reliable method is to send email to my address at, where I am "alexander.gurney".