Ziteng Wang
Austin, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolZiteng Wang is a PhD computer scientist based in Austin with 11 years of software engineering and research experience spanning program synthesis, functional programming, and backend systems. He helped augment a Haskell program synthesizer that won recognition at POPL’20 SRC and led to an OOPSLA’20 paper, demonstrating strong skills in designing high-precision candidate filters using property-based testing. Ziteng pairs academic rigor with practical engineering: he built backend systems for psychology experiments, tutored and taught computer science and math courses, and contributed backend features to the popular open-source TShock Terraria server, improving permissions, localization, and anti-cheat/item-handling logic. Comfortable across Haskell, JS/React/Redux, and server-side development, he excels at turning formal research ideas into usable tools and reproducible systems. Collected dual BS degrees in Computer Science and Mathematics from UCSD and currently pursuing a PhD at UT Austin, he brings both deep theoretical insight and hands-on development chops. An under-the-radar strength is his focus on usability and localization in backend features—making complex systems more accessible to diverse users.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of Texas at AustinUniversity of California, San Diego
Github Skills (11)
permission10
localization10
access-management10
csharp10
rights-management10
terra10
server10
tso10
apidoc9
debug9
api9
Programming languages (11)
Github contributions (5)
Pryaxis/TShock
Jun 2016 - May 2020
☕️⚡️TShock provides Terraria servers with server-side characters, anti-cheat, and community management tools.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:30 commits, 27 PRs, 10 pushes in 3 years 11 months
Contributions summary:Ziteng primarily contributed to the back-end logic of the TShock Terraria server project. Their work included adding and modifying permissions for groups, protecting gem locks within regions, and fixing issues related to sensors and item drops. They also added support for localization, modifying item bans to include item names from different languages, and improving the usability of commands. The user's contributions demonstrate a focus on server-side management, including features for user control and item handling.
terraria-serverotapiminecraftantimanagement-tools
mst-mrh/Miyuu
Jan 2017 - Apr 2017
Contributions:36 commits, 27 pushes, 8 branches in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.