Portfolio item number 1
Short description of portfolio item number 1
Short description of portfolio item number 1
Short description of portfolio item number 2
Published in Penn State Schreyer Honor College, 2023
Undergraduate honor thesis on formal verification of differential privacy
Download here
Undergraduate Course, Penn State University, Department of Computer Science and Engineering, 2021
Teaching Assistant for undergraduate-level Theory of Computation course, CMPSC 464, for three semesters (Spring 2022, Fall 2022, Spring 2023)
Undergraduate Course, University of Wisconsin-Madison, Department of Computer Sciences, 2023
Teaching Assistant for CS 240 - Discrete Mathematics