I have been fortunate to be a teaching assistant for the following courses:

Carnegie Mellon University

• •  15-424/624/824, Logical Foundations of Cyber-Physical Systems, Fall 2019

  • 15-317/657, Constructive Logic, Fall 2021 

University of Maryland: CMSC250, Discrete Structures, Fall 2016 and Spring 2017 

• Program Committees: ATVA 2024, iFM 2024 (upcoming)

• Artifact Evaluation Committee: CAV 2020, CAV 2021 

• Sub-reviewed: Journal of Number Theory, ITP 2018, CICM 2018, FASE 2019,
  CPP 2019, CADE 2019, LICS 2020, EMSOFT 2022, FM 2023, TACAS 2024,
  SC-Square 2023 Special Issue in MCS, FM 2024

• Reviewed: Logical Methods in Computer Science, Integers

• TechNights: a CMU program aimed at introducing STEM concepts to middle school girls
  Fall 2019 - Fall 2021: Co-coordinator
  Fall 2017 - Spring 2018: Led sessions on graph theory, logic games, cryptography, and dynamic programming
  During COVID-19, we had virtual sessions, which are available here and here. 

• OurCS workshop 2019 volunteer

• Science fair and science competitions
  State Science Technology Fair of Iowa 2024 volunteer
  Intel ISEF 2018 volunteer
  2017 Broadcom Masters volunteer 

• College: Middle and High School Math Tutoring (MHSMT)