Boston Computation Club

A Mathematics podcast by Max von Hippel

0.0 • 0 ratings

Want connect with Max von Hippel and email directly about potential partnerships?

The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.

Recent Episodes

11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi
Published: December 1, 2024
Listen
11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang
Published: November 18, 2024
Listen
10/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge
Published: October 6, 2024
Listen
09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking
Published: September 28, 2024
Listen
09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud
Published: September 7, 2024
Listen
08/25/24: An Introduction to Lurk with Matej Panciak
Published: August 25, 2024
Listen
08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf
Published: August 17, 2024
Listen
08/10/24: Radically Better Academic Search With Undermind with Joshua Ramette
Published: August 10, 2024
Listen
07/27/24: Pragmatic Program Synthesis with Evan Pu
Published: July 27, 2024
Listen
07/06/24: The Algebraic Structure of Infinite Craft with Arthur O’Dwyer
Published: July 6, 2024
Listen

Listen to All Episodes From Boston Computation Club