Undergraduate TA at Carnegie Mellon University interested in reverse mathematics, formal languages, and mathematical teaching/outreach