Synthesis and Verification for All - Emina Torlak