Applied Science internship in automated reasoning for cloud computing; work on SAT/SMT solvers, distributed proof search, program analysis, synthesis, and verification, deploying scalable solutions and collaborating across engineering teams.