Summary
An Doan is a coterminal Master's student in Computer Science at Stanford concentrating in Systems and AI, with nine years of hands-on experience spanning compilers, operating systems, and machine learning. They balance research—extending the Etch compiler via the LEAN theorem prover—with practical teaching as a CS106A/B section leader, mentoring hundreds of students in C++, Python, and core programming concepts. Their work bridges theory and practice, from migrating PyTorch models to TFLite for mobile computer vision to transforming tensor and relational algebra into C-like IR. Based in Palo Alto, they bring a rare combination of formal methods exposure and production-minded ML infrastructure experience, and a history of cross-disciplinary data projects that sharpen both tooling and pedagogy.
9 years of coding experience
1 year of employment as a software developer
Flying Car Nanodegree Program, Flying Car Nanodegree Program at Udacity
Master's Computer Science, Master's Computer Science at Stanford University
English