Farah Haddad

Formal verification is powerful but expensive to run continuously. This project investigates lightweight verification checks that can run on every code change, catching a meaningful subset of critical defects without the cost of full formal proofs on every commit.

Object-Oriented Software Design teaches students to organize larger programs around the responsibilities and relationships between the things a program models, rather than a single long sequence of instructions. The course pairs core object-oriented concepts with design principles that keep a growing codebase manageable.

Software Engineering Principles scales up everything students have learned about writing individual programs into the practice of building software as a team, over time, under changing requirements. Students work in project groups across the semester, experiencing requirements drift, code review, and the cost of a design decision made too quickly.