About
I am a CS student at UC Berkeley focused on programming languages, static analysis, and developer tooling.
My research work focuses on program analysis techniques with practical impact, including static program reduction and tools for reasoning about large codebases.
I contributed to Specimin, a Java type-directed static program reduction tool developed at NJIT, with work published at ISSTA 2025.
I also created and maintain the Tailwind CSS for Visual Studio extension, an open-source IntelliSense tool for VS 2022/2026 used by 26K+ developers.
Publications
Static Program Reduction via Type-Directed Slicing
L. N. D. Nguyen, T. Islam, T. Wang, S. Lenz, M. Kellogg
Introduces type-directed slicing, a static technique for automatically reducing large Java codebases into minimal reproductions that preserve typechecker behavior. Evaluated on 28 historical bugs across the Java compiler, NullAway, and the Checker Framework, achieving an 89% success rate.
Experience
Researcher · NJIT, Dept. of Computer Science
Led a refactor of Specimin to improve maintainability and align implementation more closely with the type-directed slicing theory. Investigated feasibility of a language-agnostic implementation using ANTLR and Perses.
Researcher · NJIT, Dept. of Computer Science
Extended the Java type-directed program slicer Specimin with support for annotations, method references, and anonymous methods. Benchmarked on 8 real NullAway bugs and co-authored a paper accepted at ISSTA 2025.
Software Engineer · YDD Shipping
Built and launched a SaaS order management platform for a group-buy service, handling over $300K in transaction volume. Implemented SMS updates and improved operational workflows for 1K+ customers.
Projects
Tailwind CSS for Visual Studio
26K+ users · Open Source
Created the first open-source Tailwind CSS editor extension for Visual Studio 2022/2026, featuring autocompletion, build integration, error linting, and opinionated class sorting.
Edunomix Institute · Co-Founder & Dir. of Tech
Built a free economics education platform using ASP.NET Blazor, reaching 18K+ users across 16+ countries.
Education
University of California, Berkeley
B.A. Computer Science
Academy for Math, Science, and Engineering
GPA: 105.81 / 100