Teaching and Service

Teaching Assistant

CS4501 - Software Analysis and Applications (Fall ‘21)

  • Graded projects and homework assignments
  • Developed in-class activities and exam questions
  • Held office hours twice a week to assist students
  • Lectured on formal verification

CS4620 - Compilers (Fall ‘20, ‘21)

  • Graded quizzes and projects
  • Held office hours twice a week to assist students
  • Assisted in building example compiler students were tasked with extending

CS6888 - Software Analysis and Applications (Spring ‘21)

  • Graded projects and homework assignments
  • Developed in-class activities, homework assignments, and exam questions
  • Held office hours twice a week to assist students
  • Lectured on formal verification

Service

  • SV-Comp 2023 - Jury Member
  • ICSE 2022 - Student Volunteer
  • SV-Comp 2022 - Jury Member