Project Configuration WorkshopCovers the configuration of a project management tool and defining project structures, geographical locations, and risks.
Clean Order ProjectCovers the Clean Order Project, consisting of three deliverables worth 65% of the final grade.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Decentralized Systems EngineeringExplores decentralized systems engineering, covering database initialization, reliable messaging, consensus algorithms, and encryption protocols.
