He designs language constructs that enhance the extensibility of classes in object-oriented languages while preserving modular reasoning. Todd is also interested in techniques for static validation of software, including type systems and software model checking. Todd received his Ph.D. and M.S. from the University of Washington and his A.B. from Brown University, all in Computer Science. He received an NSF CAREER award in 2006.