Tuan Le is a software engineer with 11 years of experience building large-scale distributed systems at Google, where he contributes to the infrastructure that powers Drive’s trillions of objects and billions of users. He combines a strong research background in delay- and disruption-tolerant networks, P2P routing, and probabilistic modeling with hands-on engineering in functional languages (Scala, Haskell) and backend/devops. His open-source work on haskell.nix showcases deep cross-compilation and build-system expertise—solving platform-specific problems for ARM and low-level linker/atomic issues. Prior internships across AWS, Amazon, and Oracle reflect a pattern of shipping high-impact systems (live VM patching, VM import queuing, large-scale logging) that reduced operational cost and latency. Based in Los Angeles, he pairs a PhD-level academic pedigree and perfect graduate GPA with pragmatic production experience and a curiosity for web semantics, NLP, and ML.
11 years of coding experience
1 year of employment as a software developer
Bachelor of Arts (B.A.), Computer Science, 3.907/4.0, Bachelor of Arts (B.A.), Computer Science, 3.907/4.0 at University of California, Berkeley
Master of Science (MS), Computer Science, 4.0/4.0, Master of Science (MS), Computer Science, 4.0/4.0 at University of California, Los Angeles
Contributions:7 commits, 8 PRs, 24 comments in 7 months
Contributions summary:Tuan primarily contributed to the build system and cross-compilation capabilities of the Haskell Nix infrastructure. They addressed issues related to cross-compilation for ARM architectures, including fixing atomic primops and linker configurations. Furthermore, the user made changes related to using the correct libffi library and removing unnecessary numa support for ARMv6l. They demonstrated expertise in modifying build processes and resolving platform-specific compilation problems.
Contributions:13 pushes, 10 branches in 4 years 3 months
ghcnixoshaskellinfrastructurecabal
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.