Popl

Thrilled about the upcoming POPL’26. Members of my research team will present a tutorial on Veil and give two talks at the Dafny Workshop: on Velvet and on building verifiers on top of Lean. Finally, Loom will be presented at the main conference. See you in Rennes in January!