Mitchell Levy is a recent graduate of the University of Washington's Paul G. Allen School of Computer Science and Engineering. His interests center on tools and methodologies that help people write safer and more robust code.