Courses


Fall 2017
15-414/15-614 Bug Catching: Automated Program Verification and Testing
Fall 2017
08-602 Current Topics in Privacy Seminar
Spring 2017
15-316 Software Foundations of Security and Privacy
Fall 2016
15-414/15-614 Bug Catching: Automated Program Verification and Testing
Fall 2016
08-602 Current Topics in Privacy Seminar
Spring 2016
15-811/18-739 Special Topics: Formal Foundations of Software Security
Fall 2015
08-602 Current Topics in Privacy Seminar

Last updated Aug. 29 2017