Home

CMSC 433: Programming Language Technologies and Paradigms

Spring 2025

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 email Hours (AVW 4140) Hours (Discord)
Leonidas Lampropoulos leonidas@umd.edu Tu 2pm-3pm (IRB 5248) W 3pm-4pm
Yi Cai F 10am-11am W 9am-10am
Oliwia Kempinski F 11am-12pm W 8am-9am
Henry Blanchette F 12pm-1pm M 11am-12pm
Tasos Toumazatos F 1pm-2pm Tu 11am-12pm

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.