Teaching

F’20, F’19, F’18 ECS 240 Programming Languages (Graduate)
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 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)
DOE panel 2021

Additional service activities are listed in my CV.