Alex Zhao
Summary
🤩
RockstarAlex Zhao is a Machine Learning Engineer and MIT freshman with seven years of hands-on experience spanning research, startups, and competitive math programs. He currently works on ML products at Suno while conducting interpretability research in vision-language models at MIT CSAIL’s Torralba Lab and contributing to zero-knowledge engineering projects. His background blends rigorous mathematics (MIT PRIMES research) with applied cryptography and systems implementation, reflecting a rare mix of theoretical depth and production-focused engineering. Outside work he leads community math initiatives and pursues creative, experimental projects—an indication of both collaborative leadership and a taste for unconventional problem solving.
8 years of coding experience
Github Skills (13)
mathematical10
mathematics9
theorem-proving9
formal-methods9
solidity8
cpp8
javascript8
blockchain8
ethereum8
programming-language7
smart-contracts6
math6
clipper5
Programming languages (6)
Github contributions (5)
cocohearts/public-pages
Jul 2024 - Jan 2026
Contributions:383 pushes, 1 branch in 1 year 5 months
cocohearts/usaco-practice
Aug 2023 - Jan 2024
Contributions:75 pushes, 1 branch in 4 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.