Theron Wang

Developer Tools · Open Source · Software Verification

I build software to help people. I created and maintain the Tailwind CSS for Visual Studio extension, the first open-source IntelliSense solution for Visual Studio 2022, now used by 25K+ developers worldwide. I also contribute to Specimin, a Java type-directed static program reduction tool, with work published at ISSTA 2025. Beyond tooling, I co-founded nonprofits advancing STEM and economics education worldwide.

theronwang@berkeley.edu GitHub LinkedIn

Publications

ISSTA 2025 June 2025

Static Program Reduction via Type-Directed Slicing

Presented at the International Symposium on Software Testing and Analysis (ISSTA), an internationally-leading conference in software testing and analysis. Analyzed Specimin's performance on historic bugs in Uber's NullAway to identify and fix critical issues in the reduction process.

Paper — DOI: 10.1145/3728968 Code (Specimin)

Experience

NJIT, Department of Computer Science

June 2024 - Aug. 2024 · July 2025 - Present

Researcher · Newark, NJ

  • Engineered advanced features (annotation processing, anonymous method handling) in Specimin, a Java type-directed static program reduction tool.
  • Analyzed Specimin's performance on 8 historic bugs in Uber's NullAway; findings accepted at ISSTA 2025, an internationally-leading conference in software testing and analysis.
  • Led a major refactor to improve maintainability and reduce performance bottlenecks.

STEMpowering — 501(c)(3) for STEM Education

July 2023 - Present

Co-Founder · Director of Technology

  • Led a Python programming course for 20 students and circuitry workshops for 40+ children in public libraries.
  • Raised $1K+ in funding; created and maintain the organization's site with ASP.NET Blazor and Tailwind CSS.

Edunomix Institute — 501(c)(3) for Economics Education

Feb. 2023 - Present

Co-Founder · Director of Technology

  • Developed and scaled an online economics education platform to 18K+ users, 3.4K+ subscribers, 100+ articles, and 8+ courses, accessed by learners in 16+ countries.
  • Built a website with ASP.NET Blazor, complete with automatic article/course uploading and an email newsletter.

YDD Shipping

Nov. 2022 - Present

Software Engineer · East Hanover, NJ

  • Built an inventory management system for YDD Shipping's group-buy service, processing $250K+ in goods.
  • Improved order and payment workflows; implemented SMS status updates for 1K+ customers.

Projects

Tailwind CSS for Visual Studio

Tailwind CSS for Visual Studio

Visual Studio Extension · Open Source

25K+ users 145 GitHub stars

The first open-source Tailwind CSS editor extension for Visual Studio 2026 and 2022. Features autocompletion, build integration, error linting, and opinionated class sorting across Razor, HTML, and CSHTML files.

Class Hide

Class Hide

Visual Studio Extension · Open Source

A companion extension that collapses lengthy class="" attributes in Razor and HTML files, reducing visual clutter. Supports customizable settings and quick toggling.

Specimin

Specimin

Research Software · NJIT · Published at ISSTA 2025

A Java type-directed static program reduction tool. I implemented annotation processing, anonymous method handling, and led a major refactor using JavaParser. Work contributed to a paper published at ISSTA 2025.

Education

University of California, Berkeley

B.A. Computer Science, College of Computing, Data Science, and Society · Berkeley, CA · 2026 - 2030

Incoming

The Academy for Mathematics, Science, and Engineering

Rockaway, NJ · Sep. 2022 - June 2026

GPA: 105.80/100