Mukund Raghothaman
Group
Teaching
Projects
Papers
Resume
Teaching
Fall 2026: CSCI 431, Principles of Functional Programming
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: Tue Aug 25 13:27:17 PDT 2026