Team
John Burnham
John has worked at the intersection of functional programming, cryptographic protocols and startups for over a decade, both as an engineer and founder. His current objective is to compress a formalization of Fermat's Last Theorem into a zk-proof small enough to fit in a QR-code, and then print the QR-code onto a bookmark with the caption "But it does fit in the margin."
Sam Burnham
Sam is a full-stack engineer with interests in type-driven programming in Lean and Rust, reproducible build systems, and making computers Just Work. He spends much of his time at Argument tinkering with the Nix package manager and designing simple, human-centric CI, developer tooling, and cloud infrastructure.
Gabriel Barreto
Gabriel works on zero-knowledge proof systems at Argument. He came up through compilers, type systems, and formal verification, and has never met a layer of the stack he didn't want to take apart, from the type theory at the top to the silicon at the bottom.
Arthur Paulino
Arthur has been telling computers what to do for over 20 years, since he was 14. He holds a master's degree in AI and has experience developing, maintaining and monitoring critical number-crunching pipelines in the financial sector. Currently focused on programming language design and the integration of software engineering with formal verification methods.