Bryan Chen
Senior Software Engineer at Alteryx
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolBryan Chen is a Senior Software Engineer based in New York with eight years of experience building full-stack systems and machine learning solutions, currently focused on productizing ML and data science features at Alteryx. He has driven measurable performance gains—most notably a 4x speed-up in UI calculations—while integrating open-source correlation metrics into production visualizations and mentoring teammates. His background spans applied deep learning for medical imaging at MIT-affiliated labs to high-impact internships that delivered production ML and data-processing tooling at startups and enterprises. An active open-source contributor, Bryan has improved mathematical libraries under Lean’s mathlib3, reflecting a taste for precise, provable code alongside pragmatic engineering. He combines rigorous academic training from MIT with a practical knack for shipping scalable, user-facing data products.
8 years of coding experience
1 year of employment as a software developer
Master of Engineering - MEng Computer Science, Master of Engineering - MEng Computer Science at Massachusetts Institute of TechnologyHigh School, High School at McIntosh High School
English, Chinese, fujian dialect
Github Skills (10)
proofs10
proof10
formal-methods10
leanback10
automation9
automations9
theorem-proving9
data-structures8
data-structure8
algorithms7
Programming languages (13)
Github contributions (5)
leanprover-community/mathlib3
Sep 2018 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1522 reviews, 114 commits, 158 PRs in 4 years 5 months
Contributions summary:Bryan made several changes to the `mathlib3` repository, which is a mathematical components library. The commits involve fixing bugs in the tactic, refactoring the data/finset, improving docstrings, and migrating code, specifically involving coinductive predicates, transfer, and relator. The user's contributions focused on improving code clarity and ensuring that the library remains usable. Additionally, the user was also involved in a feature addition for `data/list/basic`, and pushing to branches for deployment.
maththeorem-provingcomponents-librarymathematicsjavascript
bryangingechen/bryangingechen.github.io
Apr 2019 - Nov 2022
Contributions:1029 pushes, 1 branch in 3 years 7 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.