Teaching

CU Boulder

Spring’21: CSCI 7000 Distributed Systems Verification
Spring’21,’22: CSCI 3155 Principles of Programming Languages (requires CU login)
Fall’21: CSCI Foundations of Programming Languages
Spring’23: CSCI 7000-11 Principles of Functional Programming

Purdue

Fall’19: CS307 Software Engineering