Teaching
I have been involved in teaching the following courses and seminars.
When | Institution | Description |
Spring 2023 | Imperial College | COMP70004/COMP97109 Advanced Security |
Fall 2021,2020,2019 | Imperial College | CO447 Advanced Security |
Fall 2017, Fall 2018 | Imperial College | CO445H Advanced Security |
Spring 2017 | Imperial College | CO444H Advanced Compilers |
Fall 2014 | University of Washington | Computer Security 484/584 |
Fall 2011 | MIT | Computer Systems Security (6.858) |
December, 2011 | POMI | Introduction to Web and Browser Security |
December, 2011 | POMI | Introduction to Malware: Attacks and Defenses |
Spring 2010 | University of Washington | Program Analysis for Software Security (CSE 504) |
Winter 2006 | Stanford | Advanced Compiling Techniques (CS 243) |
Fall 2005 | Stanford | Programming Languages (CS 242) |
Spring 2002 | Stanford | Advanced Topics in Compilers (CS 343) |
Spring 1999 | Cornell | Discrete Structures (CS 280) |