David Schultz PhD Candidate Programming Methodology Group Computer Science and Artificial Intelligence Laboratory Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology

Contact

• Email: das@csail.mit.edu
• Phone: 617-253-3058
• Office: 32-G908

Overview

Research

Teaching

Personal

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.