This semester, I am TAing 15-122, CMU’s introductory Imperative Programming course.

I TA’d the Spring’16 iteration of 15-424 Foundations of Cyber-Physical Systems at Carnegie Mellon. In addition to typical TA responsibilities, I transitioned course infrastructure to the use of the KeYmaera X theorem prover and re-designed several recitations to support this transition. Using KeYmaera X instead of the legacy KeYmaera 3 system enabled students to take on more ambitious course projects. These projects were presented to judges from industry, government, and academia at a competition shortly after the course completed.

During my undergraduate days, I tutored for the Computer Science department at Carthage College and also served as a Supplemental Instructor for an undergraduate Computer Organization course.