Instruction Research Bio Personal

Instruction

Present

Past

Fall 2016: CS 311, Computational Structures

Fall 2015: CS 311, Computational Structures

Fall 2014: CS 311, Computational Structures

Fall 2013: CS 311, Computational Structures

Fall 2012: CS 311, Computational Structures

Spring 2012: CS 581, Theory of Computation

Winter 2012: CS 4/591, Introduction to Computer Security

Fall 2011: CS 581, Theory of Computation

Spring 2011: CS 581, Theory of Computation

Winter 2011: CS 4/510: Logic via Foundational Algorithms

Fall 2010: CS 581, Theory of Computation

Fall 2010: CS 4/591 Introduction to Computer Security

Spring 2010: CS 581, Theory of Computation

Fall 2009: CS 4/591, Introduction to Computer Security

Fall 2009: CS 581, Theory of Computation

Spring 2009: CS 4/591, Introduction to Computer Security

Spring 2009: CS 581, Theory of Computation

Fall 2008: CS 4/591, Introduction to Computer Security

Fall 2008: CS 581, Theory of Computation

Spring 2008: CS 4/591, Introduction to Computer Security

Spring 2008: CS 581, Theory of Computation

Fall 2007: CS 4/591, Introduction to Computer Security

Fall 2007: CS 581, Theory of Computation

Spring 2007: CS 581, Theory of Computation

Winter 2007: CS 4/591, Introduction to Computer Security

Spring and Fall 2006: CS 4/591, Introduction to Computer Security (Hook's materials)

Winter 2006: CS 4/510, Language-based Security (Software Security)

Fall 2005: CS 581, Theory of Computation

Fall 2005: CS 4/591, Introduction to Computer Security (Hook's materials)

Fall 2004: CS 581, Theory of Computation

Winter 2005: CS 510, Semantics

Spring 2005: CS 581, Theory of Computation