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