Rephonic
Artwork for Boston Computation Club

Boston Computation Club

Max von Hippel
Cryptography
Zero-Knowledge Proofs
Mixnets
Program Synthesis
Formal Verification
Causal Inference
Knowledge Graphs
Artificial Intelligence
LERC
Large Language Models
Gut Microbiome
Machine Learning
Argument Computer Corporation
E-Voting Protocols
Security Properties
Proverif
Gene Expression
Bioinformatics
Biomedical Applications
Statistical Methods

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, mee... more

PublishesTwice monthlyEpisodes78Founded4 years ago
Number of ListenersCategories
ScienceMathematics

Listen to this Podcast

Artwork for Boston Computation Club

Latest Episodes

David A. Noever and Forrest McKee are researchers at PeopleTec, where they work on problems at the intersection of security, defense, and AI/ML. Today David joined us to present their joint work Infecting Generative AI with Viruses. This was a real... more

Mingwei Zheng

a Ph.D. candidate in the Department of Computer Science at Purdue University, advised by Prof. Xiangyu Zhang since 2021. Before that, she received her Bachelor’s degree in Computer Science and Technology from Huazhong University of Scie... more

Today Kaiyu Yang from Meta joined us to discuss formal reasoning using LLMs, particularly in the context of interactive theorem provers. This is a really fast-moving and exciting field in which reinforcement learning and theorem proving combine to pr... more

Michael Sammler

n assistant professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). Today he joined us to talk about his three primary projects: RefinedC, which uses a refinement a... more

Key Facts

Accepts Guests
Contact Information
Podcast Host
Number of Listeners
Find out how many people listen to this podcast per episode and each month.

Similar Podcasts

People also subscribe to these shows.

Recent Guests

Michael Sammler
Researcher focused on foundational verification of low-level programs
Episode: 07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Dhekra Mahmoud
PhD student specializing in the formal analysis of cryptographic protocols
Episode: 09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud
Joshua Ramette
Co-founder of Undermind, with a background in physics and startups
Undermind
Episode: 08/10/24: Radically Better Academic Search With Undermind with Joshua Ramette
June Marcuse
A parser aestheticist and developer passionate about creating efficient parsers.
Episode: 06/08/24: Compressing a JSON Parser Beyond Comprehension with June Marcuse

Host

Max
Co-host of the Boston Computation Club, introducing speakers and facilitating discussions throughout various meetings.

Chart Rankings

How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.

Talking Points

Recent interactions between the hosts and their guests.

Infecting Generative AI with Viruses - David A. Noever and Forrest McKee
Q: What do you think the correct behavior should even be?
The correct answer should be refusal to process malicious requests or provide harmful information.
06/13/25: Gradual Verification with Jenna DiVincenzo
Q: The question mark is sort of the filler and the stack. Your tools will be giving them enough information to like fill in the blanks with the question marks, right?
Yes and no. It can provide you earlier, more useful feedback, but it won't fill in the blanks for you.
06/13/25: Gradual Verification with Jenna DiVincenzo
Q: Should I keep an eye on anything?
Yes and no. Gradual verification can provide you earlier, more useful feedback.
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Q: Do you face problems where you don't have a yes or no answer with your verification tools?
The goal of the tools is to give you a yes or no answer in a reasonable amount of time, ideally without backtracking.
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Q: What kind of properties are you verifying in PKVM?
The biggest parts of PKVM, which people have looked at, include the allocator for allocating pages that it uses in the page tables.

Audience Metrics

Listeners, social reach, demographics and more for this podcast.

Listeners per Episode
Gender Skew
Location
Interests
Professions
Age Range
Household Income
Social Media Reach

Frequently Asked Questions About Boston Computation Club

What is Boston Computation Club about and what kind of topics does it cover?

Content from the recent episodes revolves around advanced topics in mathematical computer science and computational mathematics. Notable discussions include the application of large language models in parser generation, the complexities of computational logic, and the integration of causal inference with knowledge graphs in biomedical research. Presentations often balance theoretical frameworks with practical applications, making complex ideas accessible to a diverse audience. The format typically features a brief presentation followed by a more extended discussion, encouraging engagement and exploration of intricate subjects. This structure allows listeners to deepen their understanding and fosters a collaborative learning environment with... more

Where can I find podcast stats for Boston Computation Club?

Rephonic provides a wide range of podcast stats for Boston Computation Club. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to Boston Computation Club and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.

How many listeners does Boston Computation Club get?

Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for Boston Computation Club, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.

What are the audience demographics for Boston Computation Club?

Rephonic provides comprehensive predictive audience data for Boston Computation Club, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.

How many subscribers and views does Boston Computation Club have?

To see how many followers or subscribers Boston Computation Club has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.

Which podcasts are similar to Boston Computation Club?

These podcasts share a similar audience with Boston Computation Club:

1. The Rest Is Politics: US

How many episodes of Boston Computation Club are there?

Boston Computation Club launched 4 years ago and published 78 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.

How do I contact Boston Computation Club?

Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.

Where can I see ratings and reviews for Boston Computation Club?

Rephonic pulls ratings and reviews for Boston Computation Club from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.

View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.

How do I access podcast episode transcripts for Boston Computation Club?

Rephonic provides full transcripts for episodes of Boston Computation Club. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.

What guests have appeared on Boston Computation Club?

Recent guests on Boston Computation Club include:

1. Michael Sammler
2. Dhekra Mahmoud
3. Joshua Ramette
4. June Marcuse

To view more recent guests and their details, simply upgrade your Rephonic account. You'll also get access to a typical guest profile to help you decide if the show is worth pitching.

Find and pitch the right podcasts

We help savvy brands, marketers and PR professionals to find the right podcasts for any topic or niche. Get the data and contacts you need to pitch podcasts at scale and turn listeners into customers.
Try it free for 7 days