Alfie Richards
Cambridge, England, United Kingdom
Summary
🤩
RockstarAlfie Richards is a compiler-focused software engineer at Arm with a strong foundation in both computer science and mathematics from an MComp at the University of Bath. Over three roles at Arm since 2023 he’s concentrated on GNU toolchain work (primarily GCC), bringing practical compiler development experience alongside earlier internship work at Wolfram. He blends a taste for formal proofs, abstract algebra, and functional programming with hands-on engineering, which informs his approach to correctness and optimization. While tutoring and running the department’s Technical Labs, he honed his ability to explain complex CS and math concepts to students and peers. Early startup and product experience at Racketware taught him customer-facing product development and interdisciplinary collaboration. Based in Cambridge, he pairs rigorous academic instincts with pragmatic toolchain delivery.
2 years of coding experience
Github Skills (11)
c1710
arm10
simd10
intrinsics10
architectures10
c1110
architecture10
compiler-development10
cprogramming-language9
c-language9
testing8
Programming languages (5)
Github contributions (5)
AlfieRichardsArm/llvm-project
Jan 2024 - Mar 2024
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:77 pushes, 14 branches in 2 months
AlfieRichardsArm/acle
Nov 2024 - Oct 2025
Arm C Language Extensions (ACLE)
Contributions:19 pushes, 2 branches in 10 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.