Teaching

Guest lectures, co-instruction, and teaching assistant roles at Carnegie Mellon and UCLouvain.

Guest lectures (adjunct, CMU)

• 17-712: Fantastic Bugs and How to Find Them

  Guest lecture in Rohan Padhye’s course on program analysis and automated bug finding—fault injection, resilience testing, and distributed / microservice systems, tied to my Ph.D. work on Filibuster.

• 17-313: Foundations of Software Engineering

  Guest lecture in Michael Hilton’s undergraduate software engineering course. Overlaps thematically with my TA and co-instructor work on the same course in 2019 and 2020 below.

Co-instructor

• 17-313: Foundations of Software Engineering — Fall 2020

  With Claire Le Goues and Michael Hilton. Ran all recitations and delivered 1.5-hour active-learning lectures on microservices, microservice testing, and DevOps.

Teaching assistant

• 17-313: Foundations of Software Engineering — Fall 2019

  With Claire Le Goues and Michael Hilton. Handled assignments, redesigned recitations, taught sections, and lectured on microservices, chaos engineering, and DevOps.

• Languages and algorithms for distributed applications (LSINF2345, Spring 2017)

  Topics included formal models for distributed systems and algorithms, building collaborative applications under concurrency and partial failure, implementation techniques, and tools for distributed and mobile development.

• Cloud computing (LINGI2145, Fall 2016)

  TA for a French-language survey of cloud architecture, scaling, core service building blocks, large-scale computation, programming models, and scalable web services.