# 04/18/25: Descriptive Complexity with Ramit Das

Page: https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das
Text version: https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das.md
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2025-04-19T20:50:23+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/041825-Descriptive-Complexity-with-Ramit-Das-e31o2in
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/101500951/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-3-19%2F398666608-44100-2-3810f126bfda5.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/04-18-25-descriptive-complexity-with-ramit-das
Duration seconds: 3607

## Resource

Ramit Das is a formal verification engineer at Intel and an avid Boston Computation Club group member. Ramit and I have been speaking for ages about formal methods, exchanging papers, etc. and today he finally agreed to come give a talk to the group about his area of expertise -- descriptive complexity. This was a really fun talk and an excellent introduction for anyone looking to get their feet wet with complexity theory, some language theory, and even a smidgeon of model theory and underpinnings of abstract interpretation. It was really fun and we can't wait to host another talk by Ramit sometime in the future!

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/04-18-25-descriptive-complexity-with-ramit-das/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/boston-computation-club-4031660/04-18-25-descriptive-complexity-with-ramit-das.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.