Feb1112PM SCS Faculty Candidate LIRON COHEN Towards the Next Generation of Proof Assistants: Enhancing the Proofs–as–Programs Paradigm ASA Conference Room 6115 Gates Hillman Centers