Software Foundations (2026 Spring, Teaching Assistant)

This course is based on the textbooks of the same name, focusing on mathematical logic, formal semantics, type system, and other related theoretical knowledge based on Rocq theorem prover (formerly known as Coq). Here is the homepage of this course.