Summerschool

I taught verification in Lean (using Velvet and Veil) at the Summer School: LeanLang for Programming, hosted by Emergence Research Lab and IISc in Bengaluru, July 6-10, 2026.