Research
I'm generally interested when at least two of {logic, algebra, computability} interact, and that often means cryptography.
Since 2019, my work has been anchored by zero knowledge proofs and verifiable computation. Thematically, I've been interested in intermediate representations of computation that incur low overheads.
Since modern ZKPs encode a computation as a mathematical object, (a process known as arithmetization) but many of the computations that people want to do are quite structured, one way to minimize overhead is to choose a mathematical object which mirrors that structure.
This idea is explored in my work on multi-stage accumulation schemes.
In more declarative context, this is explored in my work