Ben Hudson - Home

I'm currently a product manager at Dremio, where I lead product for Dremio's data lakehouse management services.

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

I completed my BA and MA in Computer Science at Wesleyan University, where I did research in programming languages and was advised by Dan Licata. Specifically, I worked on a system in Agda, a dependently typed language and proof assistant, 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 like racket sports, reading, and music.

You can find me on LinkedIn, Twitter, or 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, with optional PDF output of proof tree.
[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]