Cheng Yang
Research Assistant at 广东以色列理工学院
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolCheng Yang is an interdisciplinary researcher and engineer with 11 years of experience spanning formal theorem proving, robotics, cloud networking, and product startups. Currently a research assistant building a LEAN-GPT pipeline for zero-baseline mathematical proof solving and incoming MSCS student at NYU, he combines hands-on Lean4/Isabelle theorem work with Python-driven local-model feedback loops. His background includes control modeling for AI-assisted remote surgery, C++ lab automation for quantum photonics experiments, and practical cloud and network operations at China Unicom. As a co-founder he scaled a campus mini-program platform to five universities and over ten million GMV, demonstrating product instincts and data-driven growth. He has published in human-machine interaction and helped secure institutional innovation funding, reflecting an ability to turn research into funded outcomes. Comfortable moving between low-level systems, formal methods, and product strategy, he brings a rare mix of math, code, and applied engineering to SDE/BA/DA roles.
11 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Mathematics with Computer Science, Bachelor's degree, Mathematics with Computer Science at Technion - Israel Institute of TechnologyACADEMIC SUMMER SCHOOL, Artificial Intelligence and Machine Learning (On-campus learning), A (4.0/4.0); awarded with the Outstanding Certificate, ACADEMIC SUMMER SCHOOL, Artificial Intelligence and Machine Learning (On-campus learning), A (4.0/4.0); awarded with the Outstanding Certificate at University of OxfordMaster's degree, Computer Science, Master's degree, Computer Science at 美国纽约大学
Github Skills (17)
financial-data10
yahoo10
stock-data9
yahoo-finance9
api9
yahoo-finance-api9
python8
pandas8
finance8
cost-analysis6
tca3
transaction3
java2
golang2
rest-api2
Programming languages (3)
Github contributions (5)
ycc1107/PythonFinancialDataAnalysis
Apr 2016 - Mar 2018
Contributions:27 commits, 1 PR, 26 pushes in 2 years
ycc1107/dota2
Sep 2018 - Oct 2018
Contributions:20 commits, 1 PR, 16 pushes in 1 month
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.