Stevens Cypress

HomePeopleSeminarSeminarYouTube

PLDI 2022

2022-04-05

Michael Greenberg will be presenting “Kleene Algebra Modulo Theories: A Framework for Concrete KATs” at PLDI 2022 this year!

Stevens Cypress

Questions? Ask Michael Greenberg.

The Cypress group at Stevens Institute of Technology studies cybersecurity, programming languages, and systems.