Chenyan Zhang
Software Engineer at Microsoft
California, United States
Summary
🤩
Rockstar🎓
Top SchoolChenyan Zhang is a software engineer based in California with five years of experience building systems ranging from data center switch OS work at Arista to AI-driven planning tools developed at UC Berkeley. Currently at Microsoft, Chenyan blends strong academic foundations in ECE and CS (SJTU, Michigan, UC Berkeley MEng) with practical expertise in ROS, learning-based model predictive control, and systems-level engineering. Projects include an autonomous racing path planner using Bezier curves and research on enzyme pathway prediction and live functional programming environments, reflecting a mix of applied research and production software. Comfortable across low-level systems and machine-learning-infused control, Chenyan brings curiosity-driven problem solving and a track record of shipping across academia and industry.
5 years of coding experience
3 years of employment as a software developer
Master of Engineering - MEng Electrical Engineering and Computer Science, Master of Engineering - MEng Electrical Engineering and Computer Science at University of California, BerkeleyBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at University of MichiganBachelor of Science - BS Electrical and Computer Engineering, Bachelor of Science - BS Electrical and Computer Engineering at Shanghai Jiao Tong University
Github Skills (14)
abstract10
elm10
reasonml10
monads9
ocaml9
lenses9
functional-programming9
reason9
category-theory9
homotopy-type-theory8
opam8
haskell8
editor8
dune8
Programming languages (1)
Github contributions (1)
hazelgrove/hazel
May 2021 - Feb 2022
Hazel, a live functional programming environment with typed holes
Contributions:2 reviews, 9 commits, 10 pushes in 8 months
homotopy-type-theoryfunctional-programmingelmmonadsopam
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.