Dong Chen
Summary
👤
SeniorDong Chen is a Research Software Engineer at Huawei, based in Rochester, NY, with nine years of research and development experience focused on program analysis, correctness and performance of software. His work spans system software, parallel computing, static analysis, and program synthesis, blending rigorous academic methods with practical engineering. He earned a PhD in Computer Science from the University of Rochester in 2019 and previously served as Assistant Professor at the National University of Defense Technology, bringing a strong academic foundation to industrial research. His career includes internships at Qualcomm and FutureWei Technologies, and he has deep experience in compiler-oriented analysis and practical software reliability. Based in the City of Rochester, he leverages cross-domain expertise to advance program analysis and optimization in real-world systems.
10 years of coding experience
Github Skills (25)
lms9
cybersecurity9
pure-python9
agent9
science9
developer-tools8
python8
ai8
algebra8
computer-algebra7
math7
llm7
computer-algebra-system7
robotics6
machine-learning4
Programming languages (3)
Github contributions (5)
dongchen-coder/symFP
May 2017 - Apr 2020
Contributions:131 commits, 128 pushes, 1 branch in 2 years 11 months
dongchen-coder/dongchen-coder.github.io
Jun 2020 - Feb 2025
Contributions:57 pushes in 4 years 9 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.