Yue Li
Software Engineer at Netic
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolYue Li is a software engineer based in San Francisco with eight years of experience at the intersection of AI, systems, and programming languages. They’ve worked across applied ML and verification—from building LLM-assisted code generation at AWS and developing AI revenue engines at Netic to verified hardware and compiler research at MIT CSAIL. Yue blends rigorous formal methods (Coq-based model checking and verified compilers) with practical ML and systems engineering, having implemented production-facing Rust services and large-scale data pipelines. Their background includes hands-on molecular ML and audio modeling research, teaching and tutoring roles, and an ability to translate academic proof techniques into reliable production systems. An under-the-radar strength is shipping end-to-end solutions that bridge low-level verification and high-level ML workflows, making them especially effective at building trustworthy, high-performance AI infrastructure.
8 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS Mathematics Computation and Cognition, Bachelor of Science - BS Mathematics Computation and Cognition at Massachusetts Institute of TechnologyNUS High School Diploma (High Distinction) Honours in Mathematics Computer Science and Chemistry Major in Physics, NUS High School Diploma (High Distinction) Honours in Mathematics Computer Science and Chemistry Major in Physics at NUS High School of Mathematics & ScienceNon-Graduating Programme, Non-Graduating Programme at National University of Singapore
Chinese, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (30)
vt1009
baduk9
opengl9
python8
kitty8
verification8
linux8
golang8
lego-mindstorms7
windows7
gpu7
text-files7
terminfo7
lego-mindstorms-ev37
go7
Programming languages (8)
Github contributions (5)
l-yc/deal
Jan 2019 - Sep 2020
Text-based slide creator/viewer using the pug preprocessor
Contributions:2 PRs, 30 pushes, 3 branches in 1 year 9 months
slidepugcreatorpreprocessorviewer
tofuapps/cs5131-project
Feb 2020 - Mar 2022
CS5131 Project
Contributions:40 commits, 1 PR, 1 push in 2 years 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.