Hu Zheng
Senior Software Engineer - Confluent
- Role
- Senior Software Engineer at Confluent
- Location
- New York, NY, US
- LinkedIn followers
- 500 followers
About Hu Zheng
With a background in pure mathematics, I believe in the power of rigidity. Indeed, computers are a fantastic tool to reinforce rigidity, for they scarcely make a formal error. My intention to increase the rigidity of mathematical discussions, research, and texts is an essential reason for my choosing to study computer science. My short-term professional goal is to use knowledge in programming languages to reinforce software engineering. For example, I will try to contribute features to TypeScript that help its static analysis system to discover more errors at an early stage. I also hope to develop standalone static analysis tools for various other languages. Eventually, I hope to bring formal verification into everyday software development to eliminate bugs as early as possible. My long-term professional goal is to enhance the accuracy and effciency of information exchange with techniques built on top of computer science.
Experience
Senior Software Engineer
Jan 2023 — Present · New York, NY, US
Education
Zhejiang University
Bachelor of Science - BS, Mathematics
2012 — 2017
Columbia University in the City of New York
Master of Science - MS, Computer Science
2021 — 2022
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.