Mukund Raghothaman
Group
Teaching
Projects
Papers
Resume
Teaching
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: Mon Jan 8 00:15:31 PST 2024