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