Publications

Joshua M. Cohen, Qinshi Wang, and Andrew W. Appel. Verified Erasure Correction in Coq with MathComp and VST. CAV 2022: 34th International Conference on ComputerAided Verification, August 2022.

Joachim Breitner, Antal SpectorZabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, and Stephanie Weirich. Ready, Set, Verify! Applying Hstocoq to Realworld Haskell Code. Journal of Functional Programming, 31:140, February 2021.
Talks

Verified Erasure Correction in Coq with MathComp and VST. New Jersey Programming Languages and Systems Seminar. May 2022.
Teaching

Teaching assistant for COS 423: Theory of Algorithms, Princeton University, Fall 2022

Teaching assistant for CIS 320: Introduction to Algorithms, University of Pennsylvania, Spring 2020, Fall 2019

Teaching assistant for CIS 120: Programming Languages and Techniques, University of Pennsylvania, Spring 2019, Fall 2018, Spring 2018