Bobbin is a project lead of Polygon Miden - a STARK-based ZK-rollup being developed at Polygon. Prior to working on Polygon Miden, Bobbin was core ZK researcher at Facebook's Novi, where he led the development of Winterfell, as highly-performant general-purpose STARK prover. Besides Winterfell, Bobbin has made multiple contributions to the field of STARK-based proving systems, including a STARK-based zkVM and AirScript/AirAssembly languages (work supported by the Ethereum Foundation).