About
Undergraduate researcher in software engineering
I’m interested in web frontend development and programming language theory, and I ended up getting into software engineering, software verification, and developer tool development. Currently, I’m working as an undergraduate research intern at the KU-PLRG, where I contribute to the ESMeta project—an automated specification framework for JavaScript.