Ben Hudson

I'm currently a product manager at Atlan, where I lead product for Atlan's MCP server offering. Previously, I led product for Atlan's lakehouse-based data platform.

Before Atlan, I was a product manager at Dremio, where I led product for Dremio's data lakehouse catalog capabilities.

Before Dremio, I was a product manager at IBM, where I led product for IBM's cloud data warehouse offering.

Before IBM, I completed my BA and MA in Computer Science at Wesleyan University, advised by Dan Licata. My research focused on programming languages, where I specifically worked on a system to extract and formally reason about recurrence relations from functional programs.

I enjoy working with diverse teams on difficult problems that take me way out of my comfort zone, and I’m fortunate to be able to do this every day as a product manager.

Outside of work, I enjoy racket sports and music.

You can find me on LinkedIn and GitHub.

Theses

Computer-Checked Recurrence Extraction for Functional Programs
Master’s thesis. Wesleyan University. 2016.
[PDF] [Poster] [Slides] [Agda code]

Certified Cost Bounds in Agda
Senior honors thesis. Wesleyan University. 2015.
[PDF]

Code

/atlan-lakehouse
An agent skill that teaches AI tools how to connect to, navigate, and query Atlan's lakehouse efficiently.
[Code]

pm-os
A set of agent skills that aggregates signals, surfaces action items, and keeps product managers accountable.
[Code]

Theorem Prover for First-Order Logic
Project for an automated theorem proving course. Uses resolution.
[Code]

Theorem Prover for Propositional Logic (Tableaux Method)
Project for an automated theorem proving course. Uses the tableaux method.
[Code]

Theorem Prover for Propositional Logic (Wang's Algorithm)
Project for a computational logic course. Uses Wang's Algorithm.
[Code]

"Best of the Decade" Spotify Playlist Generator
Tried to create my own "Best of the Decade" playlist using the Spotify Web API.
[Code] [Blog post]

Redis-Backed Bloom Filter
Wanted to learn about Redis. Ended up learning more about probabilistic data structures.
[Code] [Blog post]

Random Friends Episode Name Generator
Got bored during a lunch break.
[Code]