Tesla Zhang
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolTesla Zhang is a type-theory-focused software engineer and researcher blending rigorous academic work with prolific open-source impact. A Penn State undergrad now pursuing a PhD at Carnegie Mellon, Tesla implements univalent type theories and has published research in the area while leading opensource theorem-prover development. With 24 years of experience listed, they’ve made high-impact contributions across major projects—rust-analyzer, intellij-rust, shields.io, grpc-rs and others—garnering thousands of stars and a sizable follower base on GitHub. Practical systems experience includes a RisingWave internship working on core stream-processing algorithms and prior roles at JetBrains and PingCAP where they improved IDE tooling and infrastructure. Equally comfortable in JVM and Rust ecosystems, Tesla’s work ranges from compiler front-ends and IDE plugins to performance-sensitive backend optimizations and zero-copy gRPC improvements. An under-the-radar strength is their knack for improving developer experience at scale, evidenced by frequent test, parser, and tooling refinements across diverse large projects.
24 years of coding experience
3 years of employment as a software developer
Undergraduate, Computer Science, Undergraduate, Computer Science at Penn State UniversityDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at Carnegie Mellon University
Stackoverflow
6,520reputation
1.1mreached
124answers
36questions
intellij-idea
top-5%
kotlin
top-1%
Github Skills (46)
kotlin10
debugging10
type-inference10
agda10
lib10
intellij10
back-end-development10
testing10
code-completion10
cubical-type-theory10
data-structure10
java10
javas10
lua10
latex10
Programming languages (54)
Github contributions (5)
agda/cubical
Jan 2019 - Jun 2022
An experimental library for Cubical Agda
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 reviews, 45 commits, 27 PRs in 3 years 5 months
Contributions summary:Tesla primarily contributed to the development of the "cubical" library for Cubical Agda. Their work involved implementing and refining core functionalities, as demonstrated by finishing TODOs, using private variables, and removing explicitly quantified `A`. Furthermore, the user added operations and properties related to `Stream` and `HitInt`. These contributions show an active involvement in the core library's design and implementation.
agdacubical-type-theory
risingwavelabs/risingwave
Aug 2022 - Jan 2023
Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.
Role in this project:Back-end Developer
Back-end DeveloperContributions:53 reviews, 48 commits, 102 PRs in 5 months
Contributions summary:Tesla's commits focused on refactoring test cases, adding a dummy API, and deleting unused plan-related code within the risingwave repository. Changes included the removal of stream proto test cases and adjustments in the frontend and plan modules. Furthermore, the user implemented adjustments in the src/frontend code relating to table scans and optimized code for the fragmenter component.
agentic-aievent-streamdatabasestream-processingrust
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.