University of Oslo, Norway

  • Autumn 2019, Lecturer for Models of Concurrency, IN5170
    Master’s level class on reasoning about concurrent systems
    Co-taught with Olaf Owe and Shukun Tokas

  • Autumn 2018, Lecturer for Programming Languages, INF3110
    Nominated for teaching award
    Co-taught with Eyvind Axelsen

  • Autumn 2017, Lecturer for Models of Concurrency, INF4140
    Nominated for teaching award
    Master’s level class on reasoning about concurrent systems
    Co-taught with Olaf Owe


University of California, Santa Cruz, CA.

September 2015 to May 2016, Teaching assistant
Recipient of the Teaching Assistant Service Award

  • Software Design Project II, Spring 2016
  • Software Design Project I, Winter 2015
  • Introduction to Software Engineering, Fall 2015


Rochester Institute of Technology, Rochester, NY

December 2002 to March 2004

  • Teaching assistant at the Hardware Description Language (HDL) laboratory
  • Student tutor at the Computer Engineering and Software Engineering underclassmen
  • Calculus III grader for the Math Department


Supervision

Master’s students