I am a second year PhD Student with Notheastern PRL advised by Steven Holtzen. I am broadly interested in type-and-effect systems and program logics and their ability to provide correctness guarantees about interesting computational systems. I specifically work on reasoning about probabilistic programs. I received my Bachelor's in Computer Science at the University of Michigan - Ann Arbor in May 2024.

Publications

• Shubh Agrawal, Jialu Bao, and Steven Holtzen. “Towards an equational calculus of interventions,” LAFI 2026, Extended Abstract.
• Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich. “Effects and Coeffects in Call-By-Push-Value,” OOPSLA 2024, https://dl.acm.org/doi/10.1145/3689750 (Extended Version)

Things I’ve Done

• PLMW@SPLASH (October 2024, Pasadena)
• OPLSS@BU (June 2024, Boston)
• PLMW@ICFP (September 2023, Seattle)
• REPL REU at UPenn (Summer 2023, Philadelphia)