Software Foundations

Graduate

This course covers key mathematical concepts for reliable software development, including logic, computer-assisted theorem proving, and the Coq proof assistant, all of which are essential tools for building robust software. Students will also explore functional programming, operational semantics, Hoare logic, and static type systems. This course emphasizes formal verification techniques to help students ensure the correctness of their software designs.