Rasool Maghareh
Staff Software Engineer at Lemurian Labs
Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolRasool Maghareh is a Staff Software Engineer in Toronto specializing in compiler infrastructure for next-generation AI hardware, with ten years of experience bridging industry and academic research. He holds a PhD and postdoc from the National University of Singapore where his thesis advanced scalable resource analysis via symbolic execution, foundations he now applies to LLVM-based compilers and verification tooling. Rasool has driven compiler work at Huawei Canada and Lemurian Labs, shipping heterogeneous compilation features and optimizations for emerging accelerators. He combines deep program-analysis expertise with practical delivery, favoring correctness and long-lived systems over quick fixes. An atypical blend of roles—from data engineering and regional operations to web design early in his career—gives him a pragmatic, systems-minded perspective on building robust software.
10 years of coding experience
6 years of employment as a software developer
Bachelor of Engineering (B.Eng.), Computer Engineering, Bachelor of Engineering (B.Eng.), Computer Engineering at Shiraz UniversityDiploma, Math-Physics, Diploma, Math-Physics at Shiraz University HighschoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at National University of Singapore
Persian, English
Github Skills (17)
virtual-machine10
klee10
symbolic-execution10
benchmark9
benchmarking9
cgroups9
linux8
python7
fortran6
symbolic-execution-engine6
flang6
frontend5
tracer5
llvm4
compiler4
Programming languages (5)
Github contributions (5)
yxliang01/tracerx-klee
Jun 2017 - Mar 2018
Contributions:64 commits in 9 months
symbolickleetracervirtual-machine
tracer-x/ILP
Nov 2019 - Jul 2021
Contributions:2 reviews, 2 PRs, 6 pushes 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.