Courses (Fall 02):
COSC 7397: Formal Hardware/Software Verification

COSC 3340: Introduction to Theory of Computation

Courses (Spring 03):
COSC 6397: Information Retrieval

COSC 3340: Introduction to Theory of Computation

Courses (Fall 03):
COSC 6352: Decl. Programming Languages

11/03/03 -- Slides in postscript format for Rule-based programming

COSC 3340: Introduction to Theory of Computation

Courses (Spring 04):
Co-instructor for COSC 6397: Information Assurance
(The course was supported in part by NSF grant DUE-0313880)

Slides in PowerPoint format for Module 1

Slides in PowerPoint format for Module 2 - Lecture 1 Lecture 2 Lecture 3

Slides for Module 3

COSC 3340: Introduction to Theory of Computation

Courses (Fall 04):
COSC 6341: Information Retrieval

COSC 3340: Introduction to Theory of Computation

Courses (Spring 05):
COSC 6320: Syllabus pdf format

Courses (Fall 05):
COSC 3340: Introduction to Theory of Computation

Course web page

Courses (Spring 06):
COSC 7397: Formal Methods for Verification and Security

Topics for term papers pdf format

Courses (Spring 07): COSC 3340: Introduction to Theory of Computation

Course web page

Courses (Fall 07):
COSC 6320: Advanced Data Structures and Algorithms - Syllabus pdf format

COSC 4315: Programming Languages and Paradigms

Courses (Spring 2008):
COSC 6397: Computer and Network Security - Syllabus pdf format Hw 1 pdf format Hw 2 pdf format Hw 3 pdf format

Courses (Fall 08):
COSC 6352: Declarative Programming Languages - Syllabus pdf format

COSC 3340: Introduction to Theory of Computation

Course web page

Office Hours (Fall 2008): Tu., Th. 1.15-2pm (or by appt.)