Gordon Sau
Software Engineer at Arista Networks
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolGordon Sau is a Software Engineer based in Sydney with five years of experience blending systems-level research and practical networking work. He has contributed to formal verification of compilers and shared-memory semantics at UNSW, applying theorem-proving (HOL) to real-world language correctness for verified drivers. More recently he has interned and transitioned into a full-time role at Arista Networks, building tools such as a CLI to surface physical-layer switch status—showing a knack for observability and low-level tooling. Gordon combines academic rigor from a Software Engineering degree with hands-on production engineering, making him comfortable moving between formal methods and network systems implementation.
5 years of coding experience
1 year of employment as a software developer
UNSW Sydney
Stackoverflow
69reputation
475reached
1answer
5questions
Github Skills (20)
sml10
verification10
sat10
programming-language9
tlaplus9
hol9
coq9
formal-semantics9
formal-verification9
theorem-proving9
compiler8
regression8
sat-solver8
proof8
machine-learning8
Programming languages (1)
Github contributions (5)
Gordon-Sau/cakeml
Jan 2023 - Mar 2024
CakeML: A Verified Implementation of ML
Contributions:169 pushes, 8 branches in 1 year 2 months
Gordon-Sau/pure
Feb 2024 - Oct 2024
A verified compiler for a lazy functional language
Contributions:108 pushes, 1 branch in 8 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.