Teaching
S’24 | ECS 289G: Topics in Trusted and Responsible AI |
S’24, W’23, F’20, F’19, F’18 | ECS 240 Programming Languages (Graduate) |
W’23, F’22, W’21, W’19, S’18 | ECS 140A Programming Languages (Undergraduate) |
W’20, F’17 | Topics in Automated Reasoning and Program Analysis |
Recent Service
Mentor | AvenueE, VIP |
PC | AAAI’25, POPL’25, NeurIPS’24, SAS’24, PLDI’24, CAV’24, AAAI’24, |
CAV’23, PLDI’22, POPL’22, ATVA’21, FSTTCS’20, CAV’20, | |
ASE’19, VSTTE’19, SAS’19, ASE’18, ATVA’18 | |
ERC | OOPSLA’20, PLDI’16 |
NSF panel | 2018, 2020 (x2), 2021 (x3), 2023 (x2) |
DOE panel | 2021, 2023, 2024 |
Additional service activities are listed in my CV.