Courses taught in the past

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).

Last modified: Tue Jun 12 16:01:30 EDT 2018