Emmet Murray
Software Engineer III at Google
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolEmmet Murray is a Software Engineer III with a decade of experience building large-scale, user-facing systems, currently shaping Google Maps Directions by developing C++ APIs that serve roughly 900M daily queries. He moves fluidly between low-level compiler and verification work (Cogent/Isabelle) and full-stack engineering, contributing TypeScript/Angular frontends and mobile integrations for iOS/Android. His background includes impactful performance improvements in verified compiler tooling and production experience at Microsoft on Power Platform support automation. Based in Sydney, he combines rigorous research-grade engineering with pragmatic product delivery, often experimenting with personalization models to improve navigation. Outside work he presents a curious, hands-on maker streak—hinted by a personal site emmet.coffee—suggesting he enjoys building small projects alongside major distributed systems.
10 years of coding experience
6 years of employment as a software developer
Exchange Student, General language studies and various subjects, Exchange Student, General language studies and various subjects at Etelä Tapiolan LukioUNSW Sydney
English, Finnish, Chinese
Github Skills (73)
idris10
tlaplus10
verification10
sat-solver10
test-suite10
tla10
1c10
sat10
coq-library9
dependent-types9
opam9
coq9
agda9
fabric9
model-checking9
Programming languages (9)
Github contributions (5)
emmet-m/train-game
Apr 2019 - Jan 2020
Contributions:14 commits, 9 pushes, 1 branch in 10 months
emmet-m/cogent
Jun 2019 - Dec 2019
Proof-Code Cogeneration
Contributions:47 commits, 28 pushes, 2 branches in 6 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.