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