Andrew Lee
Doctoral Student at ETH Zürich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolAndrew Lee is a PhD student in Computer Science at ETH Zürich specializing in formal verification of security properties, with a decade of hands-on experience building secure, distributed systems and privacy-preserving applications. A Stanford CS undergrad with internships at Apple and Skiff, he has shipped end-to-end features from iOS input prototypes to client-side encrypted search and blockchain-backed social apps that reduced storage costs by orders of magnitude. His work bridges rigorous theory and practical engineering—authoring reproducible research tools for national security stakeholders and prototyping cryptographic protocols for Solana/Arweave interoperability. Comfortable briefing nontechnical audiences on complex AI and systems topics, he combines language fluency (Spanish, Portuguese, French, German) with a global outlook cultivated through research collaborations across Europe and the U.S.
9 years of coding experience
4 years of employment as a software developer
Master of Science - MS, Computer Science, 5.73/6, Master of Science - MS, Computer Science, 5.73/6 at ETH ZürichHigh School Diploma, High School Diploma at Wheeler SchoolBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Stanford University
English, French, Portuguese, Spanish, German
Stackoverflow
183reputation
440kreached
9answers
0questions
Github Skills (25)
sqlalchemy6
python-requests6
flask-sqlalchemy6
beautifulsoup6
linux6
webscraping6
python6
debian6
sparse-linear-algebra4
sparse4
libary3
algebra3
sparse-matrix3
blas2
interpolation2
Programming languages (1)
Github contributions (5)
MarshalLeeeeee/myLeetCodes
Nov 2018 - Feb 2019
Contributions:198 pushes, 1 branch in 2 months
MarshalLeeeeee/CaligraphyBase
Feb 2019 - Feb 2019
Contributions:10 commits, 7 pushes, 1 branch in 1 day
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.