Experience

Semgrep

• United States
• Software Development
• 1 - 100 Employee

• Program Analysis Intern

  • Jun 2023 - Present

  San Francisco, California, United States



Carnegie Mellon University

• United States
• Higher Education
• 700 & Above Employee

• PHD Student

  • Aug 2022 - Present

  Pittsburgh, Pennsylvania, United States

• Undergraduate Research Assistant

  • Jun 2021 - Aug 2022

  Working on decidable type systems for the Wyvern programming language under the mentorship of Jonathan Aldrich



Cornell Outdoor Education

• United States
• Higher Education
• 1 - 100 Employee

• Supervisor

  • Aug 2021 - May 2022

• Climbing Instructor

  • Jan 2019 - May 2022

  Teach a variety of climbing classes, including beginner rock climbing, intermediate rock climbing, sport lead climbing, and introduction to outdoor rock climbing. Work with a team of instructors



Cornell University

• United States
• Higher Education
• 700 & Above Employee

• Research Assistant

  • Mar 2020 - May 2022

  Ithaca, New York, United States Working on defining denotational semantics for mixed (linear and non linear) programming languages using category theoretic concepts

• Undergraduate Teaching Assistant (CS 4110: Programming Languages and Logics)

  • Aug 2021 - Dec 2021

  Hold weekly office hours Answer forum questions Grade assignments and exams



Cornell University

• United States
• Higher Education
• 700 & Above Employee

• Undergraduate Teaching Assistant (CS 3110: Data Structures and Functional Programming)

  • Jul 2020 - Jun 2021

  Leading a discussion section of ~15 students Grading assignments Holding office hours



Weill Cornell Medicine

• United States
• Hospitals and Health Care
• 700 & Above Employee

• Software Development and Research Intern

  • Jun 2016 - Mar 2020

  New York, New York Develop data visualization applications to simplify data viewing for clinicians and researchers Develop pipelines for automation of analysis of high dimensional data



Cornell University

• United States
• Higher Education
• 700 & Above Employee

• Undergraduate Consultant for CS 2112 Object-Oriented Design and Data Structures (Honors)

  • Aug 2019 - Dec 2019

  Held weekly office hours and answer question on an online forum Graded coding assignments and problem sets Took charge of an assignment which included writing a problem set, answering the majority of student questions related to this project, and developing a grading rubric for the assignment



Math Olympiads for Elementery and Middle Schools - Westchester Homeschool Team

• Teaching Assistant

  • Oct 2015 - May 2017

  Westchester, NY Taught middle school age math olympiad competitors fundamentals of algebra and geometry