Stevens Cypress

Stevens Cypress is a Professor at Stevens Institute of Technology, leading research in Cybersecurity, Programming Languages, and Systems. The Cypress group actively explores formal verification, relational program logic, and algebraic methods in temporal verification.

• Three papers accepted at POPL 2023
• PLDI 2022 distinguished paper award
• $1M+ grants secured in 2023

Research spans commutativity in multicore programming, data abstraction, and algebraic fixpoint logic, with collaborations across institutions like Cornell and Microsoft Research. The group regularly presents at top-tier venues including OOPSLA, TOPLAS, and SPLASH. Students such as Adam Chen, Ramana Nagasamudram, and Parisa Fathololumi contribute to projects, while seminars are held weekly in Gateway North 303.