Software Foundations

About

This course covers the mathematical underpinnings of reliable software, using the Software Foundations textbook series, now available as an interactive online book with executable Lean code embedded directly in the text. Students learn functional programming, logic, and how to construct machine-checked proofs about programs.

See the course website for the syllabus, schedule, and other details.

People, Places, Times

Class time & place: Tuesdays and Thursdays, 1:45-3:15pm, Moore 216

Personnel:

• Mike Hicks, Professor and Instructor
• Roger Burtonpatel, Daniel Sainati, Francis Rinaldi, and Cheng Zhang, Teaching Assistants