Teaching

Teaching

CSE 259 Logic in Computer Science

Fall 2018: CSE 259 Logic in in Computer Science

Spring 2018: CSE 579 Knowledge Representation and Reasoning

Spring 2017: CSE 579 Knowledge Representation and Reasoning

Fall 2016: CSE 294 Logic in Computer Science

Spring 2016: CSE 294 Logic in Computer Science

Fall 2015: CSE 355 Introduction to Theoretical Computer Science

Fall 2015: CSE 571 Artificial Intelligence

Spring 2014: CSE 591 Knowledge Representation and Reasoning

Spring 2014: CSE 471/598 Intro to Artificial Intelligence

Fall 2013: CSE 459/598 Logic for Computer Scientists

Fall 2013: ASU 101 The ASU Experience

Spring 2013: CSE 591 Knowledge Representation and Reasoning

Spring 2013: CSE 471/598 Intro to Artificial Intelligence

Fall 2012: CSE 355 Introduction to Theoretical Computer Science

Spring 2012: CSE 591 Knowledge Representation and Reasoning

Spring 2012: CSE 459/598 Logic for Computer Scientists

Fall 2011: CSE 571 Artificial Intelligence

Spring 2011: CSE/EEE 230 Computer Organization and Assembly Language Programming

Spring 2011: CSE 459/598 Logic for Computer Scientists

Fall 2010: CSE 591 Knowledge Representation and Reasoning

Fall 2010: ASU 101 The ASU Experience

Spring 2010: CSE 459/598 Logic for Computer Scientists

Fall 2009: CSE 591 Knowledge Representation and Reasoning

Fall 2009: CSE/EEE 230 Computer Organization and Assembly Language

Spring 2009: CSE 459/598 Logic for Computer Scientists

Fall 2008: CSE 494/598 Logic Programming

Fall 2008: CSE 355 Introduction to Theoretical Computer Science

Spring 2008: CSE 459 Logic for Computer Scientists

Fall 2007: CSE 591 Knowledge Representation and Reasoning

Fall 2007: CSE 355 Introduction to Theoretical Computer Science

Spring 2007: CSE 459/598 Logic for Computer Scientists

Fall 2006: CSE/EEE 230 Computer Organization and Assembly Language Programming

Spring 2006: CSE 591 Answer Set Programming

Fall 2005: CSE 340 Principles of Programming Languages