Isaac Ault
Senior Compiler Verification Engineer
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolIsaac Ault is a Senior Compiler Verification Engineer with eight years of experience building low-level, performance-critical software across embedded systems, runtimes, and machine learning libraries. Based in Edinburgh, he has moved from deep kernel and embedded C/C++ work at QNX and UAV telemetry at Romaeris to runtime and compiler verification roles at Codeplay and NVIDIA, blending systems engineering with formal verification. He is comfortable across the stack—device drivers, multi-threaded C++11 design, runtime internals, and verification tooling—and has repeatedly driven architectural reworks that reduced unpredictability and improved reliability. Isaac’s background in computing theory and numerical methods informs a methodical approach to correctness, and he brings practical experience shipping production-grade fixes discovered via sanitizers and deep debugging. Notably, he has shifted from hands-on embedded debugging to applying formal methods to heterogeneous compiler stacks, making correctness a first-class design goal.
8 years of coding experience
6 years of employment as a software developer
Computer Science and Mathematics (B. Math Combined Honours) Concentration in Computing Theory and Numerical Methods, Computer Science and Mathematics (B. Math Combined Honours) Concentration in Computing Theory and Numerical Methods at Carleton University
English, French
Github Skills (39)
staging10
robotics10
intel10
llvm10
sycl10
oneapi10
ros10
mavlink9
autopilot9
rover9
plane9
arduino9
px47
neovim7
neovim-plugin7
Programming languages (5)
Github contributions (5)
isaacault/sycl-blas
Jul 2021 - Jan 2024
An implementation of BLAS using the SYCL open standard for acceleration on OpenCL devices
Contributions:10 PRs, 46 pushes, 6 branches in 2 years 6 months
cudagpuaccelerationopen-standardblas
isaacault/unified-runtime
Jun 2023 - Feb 2025
Contributions:2 PRs, 71 pushes, 21 branches in 1 year 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.