Tuan Le

Software Engineer at Google

Los Angeles, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
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.
code11 years of coding experience
job1 year of employment as a software developer
bookBachelor 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
bookMaster 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
github-logo-circle

Github Skills (13)

arm10
s-expressions10
cross-compiling10
expression10
architectures10
nix10
crossbuild10
haskell10
build-automation10
architecture10
ghc9
build-tools9
libffi8

Programming languages (13)

SmartyJavaRustScalaGoCommon LispTypeScriptJavaScript

Github contributions (5)

github-logo-circle
input-output-hk/haskell.nix

Mar 2020 - Oct 2020

Alternative Haskell Infrastructure for Nixpkgs
Role in this project:
userBack-end Engineer & DevOps Engineer
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.
ghcnix-expressionshaskellinfrastructurenixos
michivi/haskell.nix

Mar 2020 - Jun 2024

Alternative Haskell Infrastructure for Nixpkgs
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.
Request Free Trial
Tuan Le - Software Engineer at Google