p2
library of machine learning-based texas hold 'em solvers
i'm a software engineer, policy person, recovering lawyer, and near-professional hobbyist.
right now i am at the recurse center in new york.
here is what i've been up to. also, i have a blog.
library of machine learning-based texas hold 'em solvers
LLM-driven automated ingestion and indexing of legal sources
fully automated binary reverse engineering using ghidra and iterated LLMs
fun word game
the simplest possible social media network
library of algorithms for bulk document dewarping
javascript execution engine for kingdom of loathing client "kolmafia"
suite of automated processing tools for draft law review articles
Patrick Hulin, Andy Davis, Rahul Sridhar, Andrew Fasano, Cody Gallagher, Aaron Sedlacek, Tim Leek, Brendan Dolan-Gavitt. a CTF with automatically-generated bugs, before LLMs.
Brendan Dolan-Gavitt, Patrick Hulin, Engin Kirda, Tim Leek, Andrea Mambretti, William K. Robertson, Frederick Ulrich, Ryan Whelan. automatically creating a corpus of vulnerable programs to test vulnerability detection systems.
Brendan Dolan-Gavitt, Josh Hodosh, Patrick Hulin, Tim Leek, Ryan Whelan. system-level and embedded reverse-engineering using whole-system record and replay.
yale law school | 2020
yale law journal, workers and immigrants rights advocacy clinic, legislative advocacy clinic.
massachusetts institute of technology | 2014
classes: randomized algorithms, cryptography, compilers, os engineering, algebra i/ii.
other: undergraduate association, tEp xi.
office of governor ned lamont | 2020 - 2026
complex policy, legislative, and administrative initiatives. energy affordability, permitting reform, cannabis legalization, gun safety, automated criminal record erasure.
mit lincoln laboratory | 2014 - 2017
software vulnerabilities, automated reverse engineering, and assorted offensive security topics. see publications section.