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.
7 years of coding experience
Github Skills (15)
mathematical9
solidity9
mathematics9
theorem-proving9
formal-methods9
cpp8
javascript8
contract8
blockchain8
ethereum8
math7
dapps-development7
smart-contracts7
programming-language7
clipper6
Programming languages (6)
Github contributions (5)
cocohearts/public-pages
Jul 2024 - Apr 2025
Contributions:220 pushes, 1 branch in 8 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.