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