News

• October 2024: Giving a talk at OOPSLA 2024 about our paper on (co)effects in CBPV.
• August 2024: Our paper Effects and Coeffects in Call-By-Push-Value was selected to appear at OOPSLA 2024!
• August 2024: Giving my first talk at the MURI 2024 meeting!
• April 2024: I'll be starting a PhD at Cornell starting this fall.
• April 2024: I've been awarded the NSF GRFP!