David SchultzPhD Candidate
Programming Methodology Group
Computer Science and Artificial Intelligence Laboratory
Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology
I'm a graduate student in Barbara Liskov's group at MIT. My research interests include building secure and reliable distributed systems. I also teach classes and do fun stuff occasionally. (These days I am writing my doctoral dissertation so that I can graduate this summer, so the fun stuff is on hold for the moment.) Formerly I was an undergraduate at Cal, where I worked with David Wagner on model checking for security properties.