• Fall 2025: CSCI 431, Principles of Functional Programming
• Fall 2025: CSCI 104, Data Structures and Object-Oriented Design
• Spring 2025: CSCI 625, Program Synthesis and Computer Aided Verification
• Fall 2024: CSCI 431, An Introduction to Functional Programming
• Spring 2024: CSCI 625, Program Synthesis and Computer Aided Verification
• Fall 2023: CSCI 599, An Introduction to Programming Languages
• Spring 2023: CSCI 625, Program Synthesis and Computer Aided Verification
• Fall 2022: CSCI 499, An Introduction to Functional Programming
• Fall 2021: CSCI 499, Advanced Programming Paradigms
• Spring 2021: CSCI 699, Computer Aided Verification
• Fall 2020: CSCI 599, An Introduction to Programming Languages
• Spring 2020: CSCI 699, Computer Aided Verification

Last updated: Sat Aug 23 20:50:12 PDT 2025