Courses taught in the past

Introduction to Model-Driven Software Development (CISC 844).

Logic for Computer Science (CISC/CMPE 204).

Programming Paradigms (CISC 260).

Models in Software Development: Methods, Techniques, and Tools (CISC 836).

Formal Methods in Software Engineering (CISC 422/853).

Introduction to the Computer Aided Verification of Software Systems (CISC 853).

Introduction to the Automatic Analysis of Software Artifacts (CISC 835).

Formal Methods in Software Engineering (CISC422).

Introduction to Software Engineering (CISC323).

Information Technology Project (CISC498).

Advanced Undergraduate Project (CISC499).

Information Structures (CISC 235).