Teaching

W’26	ECS 36A Programming & Problem Solving
S’25	ECS 189G Trustworthy AI
S’24	ECS 289G: Topics in Trusted and Responsible AI
S’26, S’25, S’24, W’23, F’20, F’19, F’18	ECS 240 Programming Languages (Graduate)
S’26, W’25, W’24, 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
Co-Chair	SAS’26
PC	GeCoIn’26, SOAP’25, ATVA’25, NeurIPS’25, ICML’25, ICLR’25, VMCAI’25, 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), 2025, 2026
DOE panel	2021, 2023, 2024

Additional service activities are listed in my CV.