Lefan Zhang
Machine Learning Engineer at Apple
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolLefan Zhang is a Machine Learning Engineer with a decade of experience building production ML systems and research-driven tools, currently at Apple after co-founding and engineering core systems at BreezeML. He holds a PhD in Computer Science from the University of Chicago and blends systems engineering with HCI sensibilities to prioritize usable, responsible technology. His background includes research roles at Meta and impactful internships at Amazon where he extended CBMC to prove C programs unboundedly, combining formal methods and practical prototyping. Comfortable moving projects from theory to production, he focuses on scalable, auditable ML infrastructure and developer-facing tooling. Based in the San Francisco Bay Area, Lefan brings an unusual mix of formal verification experience and human-centered design to machine learning problems.
10 years of coding experience
3 years of employment as a software developer
Bachelor of Engineering - BE Electrical and Electronics Engineering, Bachelor of Engineering - BE Electrical and Electronics Engineering at Tsinghua UniversityDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Chicago
Github Skills (12)
mle9
agent8
trigger7
debugging6
mlops6
ai6
llm6
user-friendly6
home-assistant5
ml4
filesystem1
linux1
Programming languages (2)
Github contributions (5)
zlfben/gem5
Jul 2016 - May 2017
Contributions:88 commits, 87 pushes, 6 branches in 10 months
zlfben/autotap
Jan 2019 - Oct 2021
A user-friendly synthesizing/debugging tool for trigger-action programs in smart home
Contributions:1 release, 7 commits, 5 pushes in 2 years 8 months
debugging-tooltriggerdebugginghome-assistantprograms
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.