Fahad Ausaf
Principle CPU Architect at Huawei
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolFahad Ausaf is a Principal CPU Architect based in Cambridge with nine years of experience blending academic research and industry leadership across CPU architecture, compiler toolchains, and formal verification. He leads ISA verification and CPU modelling efforts at Huawei after directing ASL compiler and security research at Arm, with deep hands-on expertise in static analysis, SMT/SAT-based test generation, fuzzing, and directed-random instruction generation. His PhD work at King’s College London on regular-expression parsing, POSIX parsing and formal compiler verification underpins a rare combination of theory-driven approaches applied to practical CPU and compiler problems. Fahad has also contributed to protocol parser and verified-runtime research during a Microsoft research placement, reflecting an ability to move between high-assurance proofs and production tooling. He is notable for building automated unit-test generation tools from static analysis and solver integration—demonstrating both systems-level impact and formal-methods rigor. Based in the UK, he brings an investigator’s mindset to security-sensitive compiler and ISA challenges, preferring provable correctness alongside pragmatic engineering.
9 years of coding experience
9 years of employment as a software developer
Master's degree, Advanced Computing, Master's degree, Advanced Computing at King's College LondonBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Iqra University (Official)
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (28)
apl10
c-language10
verification10
wolfram-language10
smt10
programming-language9
tlaplus9
proof-assistant9
agda9
dependent-types9
lambda-calculus9
ocaml9
z39
coq9
idris9
Programming languages (2)
Github contributions (5)
fahadausaf/Thesis
Sep 2017 - Sep 2018
Contributions:131 pushes, 1 branch in 11 months
fahadausaf/Automata
Jun 2017 - Jul 2018
Contributions:42 pushes, 1 branch in 1 year 1 month
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.