The formal, written thesis proposal is due by 5:00 pm on the fourth Wednesday of September (e.g., 9/24/25). You are expected to email a copy of your document to the Chair by this deadline. Evaluation ...

Formal methods are a suite of mathematically grounded techniques that underpin the design, specification, and verification of programming languages and software systems. They involve the use of ...