Challenges in automated verification and synthesis for molecular programming

[@abhishek101sim]

Thanks MSR for making the lectures publicly available. It would have been nicer if the slides were also showed whenever the speaker would point at it.