Ben Chaimberg

PhD Candidate at Yale University New Haven, CT Currently studying programming langugages for software verification at Yale. Formerly @aws working on CDK