Teaching

Instructor

CS1010 - Introduction to Information Technology (Spr./Fall ‘23)
  • Developed lectures covering fundamental concepts in CS
  • Developed lectures tailored to students interests in CS
  • Designed projects to pique student’s interest in CS
  • Ran labs to help students learn the fundamentals of programming

Teaching Assistant

CS4501/6888 - Software Analysis and Applications (Spr./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