• Led automated software testing project on a team of postdoctoral researchers under the guidance of Dr. David Walker and Dr. Aarti Gupta, Professors of Computer Science at Princeton University, and Dr. Jason Fung, Director of Offensive Security at Intel.• Automated the detection of security and functional bugs in network switch programs by creating a Python test case generation framework for Lucid, a new high-level data plane programming language that streamlines development (delivering same quality while requiring 10x fewer lines of code than P4).• Developed an algorithm in OCaml to achieve 100% code coverage by parsing arbitrarily complex Lucid programs, utilizing SMT solvers and abstract syntax trees to generate path conditions and evaluate logical constraints on IP packets.

• Helped professional basketball players understand and improve their shooting performance by generating key metrics from projectile data of over 5000 basketball shots with SciPy and curve fitting.• Developed an algorithm in Python achieving over 99% accuracy in detecting basketball shot motions from real-time bio-mechanical data, and reducing the frequency of false positives by 70% from the previous solution.

• Led weekly discussion sections to help students improve algorithmic thinking, graded projects and exams.• Held weekly office hours to help students work through coding assignments in Java.

• Tutored 3 high school students living in South Africa (Zoom)• Taught concepts using visual explanations• Created problem sets to refine understanding

• Served as camp counselor and sailing instructor to a cabin of campers ages 6-8• Responsible for physical and mental well-being of campers• Taught fundamentals of sailing to hundreds of children ages 6-16