Teaching
| W’23, F’20, F’19, F’18 | ECS 240 Programming Languages (Graduate) |
| 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 | CAV 2023, PLDI 2022, POPL 2022, ATVA 2021, FSTTCS 2020, CAV 2020, |
| ASE 2019, VSTTE 2019, SAS 2019, ASE 2018, ATVA 2018 | |
| ERC | OOPSLA 2020, PLDI 2016 |
| NSF panel | 2018, 2020 (x2), 2021 (x3), 2023 (x2) |
| DOE panel | 2021, 2023 |
Additional service activities are listed in my CV.