Episode
04/18/25: Descriptive Complexity with Ramit Das
- Podcast
- Boston Computation Club
- Published
- Apr 19, 2025
- Duration seconds
- 3607
- Processing state
not_requested
Actions
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.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.
Summary
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!