Ben works primarily on software implementation and experimental verification using simulation. He also keeps a close eye on any potential issues or differences between theory and the actual physical product and keeps these in check using logic proofs and manual/automatic simulations.