ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "09/12/21: More Category Theory for More Cybernetics with Matteo Capucci"
Episode Synopsis
Matteo Capucci is a PhD student at the University of Strathclyde in the MSP group, advised by Neil Ghani and Scott Cunningham. He studies Applied Category Theory (aka ACT), specifically Categorical Cybernetics and Applied Topos Theory. Today Matteo joined us to discuss the foundations of Categorical Cybernetics, in a wide-ranging conversation touching on lenses, feedback systems, dynamical systems, and more. The conversation extended these ideas to distributed systems, model checking, cyber-physical systems, program sketching, and quantum systems, among other things. This one was an absolute blast live and we hope you enjoy it after the fact in its audio form.
You can about Matteo HERE.
You can about the Boston Computation Club HERE.
You can watch this presentation in video form on YouTube HERE.
You can about Matteo HERE.
You can about the Boston Computation Club HERE.
You can watch this presentation in video form on YouTube HERE.
More episodes of the podcast Boston Computation Club
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
02/08/2025
In God we trust