CMSC 433: Programming Language Technologies and Paradigms
Fall, 2025
Professor: Anwar Mamat
Lecture: TuTh 11:00am-12:15pm, TuTh 3:30pm - 4:45pm
Wed 1:00-2:00pm, Schedule your appointment here
Staff | |
Name | |
anwar@umd.edu | |
Anna Howell | ahowell2@terpmail.umd.edu |
Sai Hari Krishnan | saihari@umd.edu |
Samuel Badalov | sbadalov@umd.edu |
Chang Le | lchang21@umd.edu |
Dandamudi Rushil | rushilcd@umd.edu |
Sai Pranav Theerthala | saitheer@terpmail.umd.edu |
Office hour Location: AVW 4140
Name | Office Hours |
Anna Howell | Fri 11:30am–2:30pm |
Sai Theerthala | Wed 2:00pm-5:00pm |
Sai Krishnan | Wed 4:00pm-5:00pm, Fri 11:30am-1:30pm |
Samuel Badalov | Tu/Thu 3:30pm–5:00pm, Fri 9:30am–12:30pm |
Chang Le | Mon/Tu/Thu 9:00am–11:00am |
Rushil Dandamudi | Mon/Wed 9:30am–10:30am & 4:00pm–5:00pm, Tu/Thu 10:30am–11:30am |
Assumptions: This course assumes you know the material in CMSC 330 and CMSC 250. In particular, you need to know how to program in a functional programming language like OCaml and familiarity with logic and proofs. See the Texts page for references to brush up on this material.
Disclaimer: All information on this web page is tentative and subject to change. Any substantive change will be accompanied with an announcement to the class via ELMS.
Feedback: We welcome anonymous feedback on the course and its staff using this form.