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.