Teaching
- Fall 2020
-
15-316 Software Foundations of Security and Privacy
- Spring 2020
-
15-414 Bug Catching: Automated Program Verification and Testing
- Fall 2019
-
15-316 Software Foundations of Security and Privacy
- Fall 2018
-
15-414 Bug Catching: Automated Program Verification and Testing
- Spring 2018
-
15-316 Software Foundations of Security and Privacy
- 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 9/28/20