Ben Hudson

I'm currently a product manager at Dremio, where I lead 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

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

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

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

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

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

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