• 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: Sun Feb 16 01:36:37 PST 2025