Courses taught in the past

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: Fri Jun 3 14:09:43 EDT 2016