As of Spring 2006, we have 42 tenure-track faculty members and 22 lecturers and adjuncts. Our faculty has amassed a wide variety of awards, including the IEEE W. Wallace McDowell Award, the Grace Murray Hopper Award, the ACM Paris Kanellakis Award for Theory and Practice, the ACM Software System Awards (2004, 2005), the Herbrand Award, a Guggenheim Fellowship, two Packard Fellowships, many Sloan Fellowships and NSF CAREER Awards.