Timothy Xu
Jazz Saxophonist at New York University
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolTimothy Xu is a multidisciplinary engineer and mathematician based in Paris, combining 11 years of hands-on software and research experience with professional jazz saxophone performance. Trained at NYU Courant (MS Mathematics) and UC Santa Barbara, he bridges formal methods (TLA+, Coq, Lean, Hoare logic, category theory) with practical engineering in Haskell, Python, Java, cloud-native DevOps, and ML (PyTorch, SHAP for vision transformers). He has contributed to influential open-source mathematical software and built production-ready backend services and ML systems during academic and hackathon projects, including novel work applying FastSHAP to transformer image classifiers. Multilingual and multicultural, Timothy is passionate about social impact, sustainability, deep listening, and community mentoring, reflecting a rare blend of rigorous formal thinking and human-centered collaboration. An avid improviser off stage as well as on, he brings creativity, empathy, and disciplined proof-driven problem solving to complex technical and social challenges.
11 years of coding experience
1 year of employment as a software developer
Summer Jazz Program Jazz Music, Summer Jazz Program Jazz Music at Santa Barbara City CollegeSummer Semester, Summer Semester at Eaglebrook SchoolMaster of Science - MS Mathematics, Master of Science - MS Mathematics at New York UniversitySummer Music Performance Intensive Jazz Music Performance, Summer Music Performance Intensive Jazz Music Performance at Berklee College of MusicBrighton CollegeECS - English Country Schools, Port RegisThe Bement SchoolBachelor of Science - BS Mathematics, Bachelor of Science - BS Mathematics at UC Santa BarbaraNingbo Huizhen AcademyECS - English Country Schools, Rose Hill
Chinese, ningbonese wu ("shanghainese"), English, Chinese, French
Github Skills (5)
textmate8
squad6
react5
python4
ruby3
Programming languages (3)
Github contributions (5)
TimothyXu/textmate-source-embed
Jan 2015 - Feb 2015
Contributions:1 release, 24 commits, 21 pushes in 27 days
TimothyXu/rpn-converter
Jan 2015 - May 2015
Contributions:1 release, 43 pushes, 3 branches in 3 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.