
Samuel Balco
Engineering, Compiler
Samuel is a Senior Software Engineer at Category Labs. Formerly at Runtime Verification, he holds a Ph.D. in computer science from the University of Leicester and an M.Sc. from the University of Oxford.
Written by Samuel
Optimizing the Monad Client for zkVM Execution
October 20, 2026