Teaching
| S’25 | ECS 189G Trustworthy AI |
| S’24 | ECS 289G: Topics in Trusted and Responsible AI |
| S’25, S’24, W’23, F’20, F’19, F’18 | ECS 240 Programming Languages (Graduate) |
| 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 |
| PC | 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) |
| DOE panel | 2021, 2023, 2024 |
Additional service activities are listed in my CV.