I'll be a research intern with the Intelligent Systems Laboratory at PARC this summer 2021 working on program analysis, reverse engineering, and software synthesis.

The work involves developing advanced techniques for locating and isolating software features in a binary application such as neural decompilation. Re-synthesizing features into a new binary, and generating automated tests for evaluating equivalency of the re-synthesized binary.