Crowdsourcing & CrowdfundingDelves into crowdsourcing and crowdfunding, showcasing examples like the Netflix Prize and the Facebook Translation Project.
Project Configuration WorkshopCovers the configuration of a project management tool and defining project structures, geographical locations, and risks.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
