I am visiting Simons institute to attend the reunion for <a href="https://simons.berkeley.edu/programs/sat2021">Satisfiability: Theory, Practice, and Beyond </a> program. I will be presenting our work on program synthesis as dependency quantified formulas.