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 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.