Home
CMSC 433: Programming Language Technologies and Paradigms
Spring 2026
Lectures:
Tuesday & Thursday, 3.30pm Eastern - 4.45pm Eastern
CSI 1115
Description: Students will be introduced to a range of modern formal methods and software engineering practices, focusing on Dafny and Haskell. The first part of the course will look at Dafny, a verification-aware programming language that is used heavily at Amazon: students will learn different techniques for writing down precise specifications of desired system behavior and for proving that specifications hold of software artifacts. The second part of the course will focus on Haskell, with the goal of implementing a miniature version of Dafny split up in different exercises throughout the course of the semester. Knowledge of functional programming in the form of OCaml (from 330) is assumed, but not prior knowledge of Haskell or Dafny.
Staff:
| Name | Hours (AVW 4160) | Hours (Discord) | |
|---|---|---|---|
| Leonidas Lampropoulos | leonidas@umd.edu | Half hour before class (IRB 5248) | Wednesday 3-4pm |
| Segev Elazar Mittelman | segevem@umd.edu | F 1pm-3pm | - |
| Alperen Keles | akeles@umd.edu | Thu 1.30pm-3.30pm | - |
| Jacob Prinz | jprinz@umd.edu | F 3pm-4pm | TBD |
| Henry Blanchette | blancheh@umd.edu | F 4pm-5pm | TBD |
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.
Web Accessibility: The University of Maryland is committed to creating and maintaining a welcoming and inclusive educational and working environment for people with disabilities and to ensuring equal access to information and services for all its constituencies. More information here.