Jenna DiVincenzo (Wise)
  • about
  • publications
    preprint
    conference & journal
    workshop
    misc
  • research
    projects
    people
    repositories
  • teaching
  • service
  • cv

Announcement_9

December 16, 2025

2025

Doruk Mutlu presented his work on gradually verified pure functions at POPL’26’s Student Research Competition, congrats! :sparkles:

© Copyright 2026 Jenna DiVincenzo (Wise). Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Last updated: February 23, 2026.