At the University of Iowa, I am teaching/have taught the following courses:

• CS4350, Logic in Computer Science (Spring 2025)

• CS:4980, Topics in Computer Science II: Theorem Proving in Isabelle/HOL (Fall 2024)
  This is a course which I designed; I created my own materials, which incorporate a significant active learning component.  If you are designing and/or teach a similar course and are interested in course design, please feel free to reach out to me; I am always happy to discuss this!

As a student (PhD and undergrad), I was 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 

• PC co-chair: VSTTE 2025

• Program Committees: ATVA 2024, iFM 2024, VMCAI 2025, HSCC 2025, CADE-30, DaLí 2025

• 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)