Tran Ma
Software Engineer at Google
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolTran Ma is a software engineer with 13 years of experience building production-critical systems across autonomous vehicles, finance, cloud, and verified systems. Currently at Google, he previously engineered end-to-end model training, compilation, and optimized inference for Ghost Autonomy, shipping real-time perception on mobile hardware and driving thousands of autonomous miles. He brings deep systems and compiler expertise—writing compilers, array operator implementations (CPU/GPU/OpenCL), and platform-specific optimizations for Qualcomm GPUs—to squeeze performance without runtime overhead. Earlier work spans verified software (CompCert/Isabelle), streaming query compilers for terabyte-scale ETL, and low-level virtualization, reflecting a strong foundation in correctness and performance. Based in Sydney, he combines research-grade rigor from seL4 and formal methods with hands-on production delivery, often turning academic techniques into deployable software.
13 years of coding experience
12 years of employment as a software developer
UNSW Sydney
English, Vietnamese, Chinese
Github Skills (115)
quickcheck10
vim10
emacs10
query-language10
emacs-lsp9
melpa9
testing9
spacemacs9
property-testing9
streaming9
property-based-testing9
sql8
haskell8
file-format8
minecraft8
Programming languages (4)
Github contributions (5)
tranma/falling-turnip
Nov 2012 - Jun 2013
Contributions:21 commits in 7 months
pythonparallelcellular-automatasimulationarrays
WhereSoftwareGoesToDie/vaultaire-query
Sep 2014 - Mar 2015
Contributions:57 commits, 1 PR, 2 pushes in 6 months
queryvault
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.