Teaching assistant - Lu Feng
CS6763: Cyber Physical Systems: Formal Methods, Safety and Security,
Graduate level course
University of Virginia - Spring 2023
Teaching
Teaching assistant - Lu Feng
CS4710: Artificial Intelligence
Undergraduate level course
University of Virginia - Fall 2022
Teaching assistant - Mary Lou Soffa
CS6888: Program Analysis and its Applications
Graduate level course
University of Virginia - Spring 2022
Teaching assistant - Sebastian Elbaum
CS6888: Program Analysis and its Applications
Graduate level course
University of Virginia - Fall 2021
Service
Journal Reviewer
IEEE Transactions on Software Engineering (TSE) - 2023
Artifact Reviewer
International Conference on Automated Software Engineering (ASE) - 2022
Graduate school mentor program
University of Virginia - 2022