Courses at Cornell
Instructed:
- I organized the Cornell Security Discussion Group (SECDG).
- CS 99, "Fundamental Programming Concepts"
TA'd:
- CS 211, "Computers and Programming"
- CS 312, "Data Structures and Functional Programming"
- CS 412, "Introduction to Compilers"
- CS 513, "System Security"
- CS 611, "Advanced Programming Languages"
Taken:
- HA 290, "Introduction to Culinary Arts"
- HA 430, "Introduction to Wines"
- CS 400, "The Science of Programming"
- CS 412, "Introduction to Compilers"
- CS 421, "Numerical Analysis"
- CS 472, "Foundations of Artificial Intelligence"
- CS 481, "Introduction to Theory of Computing"
- CS 486, "Applied Logic"
- CS 513, "System Security"
- CS 611, "Advanced Programming Languages"
- CS 612, "Compiler Design for High-Performance Architectures"
- CS 614, "Advanced Systems"
- CS 681, "Analysis of Algorithms"
- CS 682, "Theory of Computing"
- CS 686, "Logics of Programs"
- CS 687, "Foundations of Cryptography"
- CS 787, "Topic in Cryptography"
- CS 711, "Advanced Programming Languages Seminar"
- Spring 2002: "Language-Based Security"
- Fall 2002: "Languages, Systems, and Security"
- Fall 2003, "Information Flow"
- Fall 2005, "Program Analysis"
- MUS 411, "The Organ in Western Culture"
- MUS 455, "Conducting"
- MUS 686, "J.S. Bach's Clavier-Übung Series and the Idea of Keyboard Practice"