Registered user since Thu 24 Mar 2016
I’m a Ph.D. student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I work in the PLSE group on lightweight software verification. My advisor is Mike Ernst.
My current work is focused on building type systems on top of the Checker Framework to solve practical problems in software engineering.
|SPLASH 2022|| Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track|
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
|Show activities from other conferences|
View general profile