My Current Teaching (2021)


CSCI 1710 (formerly 1950-Y): Logic for Systems
CSCI 0320: Introduction to Software Engineering
CSCI 0112: Computing Foundations: Program Organization