I’m an undergrad studying math at U C S B. I enjoy building robots and formalizing proofs.