Martin Mcgrane
Compiler Engineer at RelationalAI
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolMartin Mcgrane is a compiler engineer based in Sydney with nine years of experience building high-performance language tooling and static analysis systems. Currently at RelationalAI, he focuses on core compiler functionality and code generation, bringing deep C++ expertise demonstrated through substantial contributions to the Soufflé Datalog compiler. His academic background includes a PhD in Bioinformatics and roles as a postdoctoral researcher and lecturer at the University of Sydney, where he developed open-source static analysis tools and taught object-oriented design. Martin combines research rigor with practical engineering—able to translate first-order logic specifications into optimized, parallel native code—making him comfortable at the intersection of formal methods and production compilers. He also has internship experience at Google, reflecting early exposure to large-scale software practices.
9 years of coding experience
5 years of employment as a software developer
The University of Sydney
English
Github Skills (6)
compiler-design10
c-language10
datalog10
cprogramming-language10
computer-engineering9
error-handling8
Programming languages (13)
Github contributions (5)
souffle-lang/souffle
Dec 2016 - Apr 2022
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 releases, 147 reviews, 2097 commits in 5 years 5 months
Contributions summary:Martin's commits primarily involve adding and modifying features related to the Soufflé Datalog compiler, including implementing parsing error output options, modifying header files, removing legacy code, and fixing paths. They have demonstrated expertise in C++ programming and are involved in the core compiler functionalities. The contributions involved significant changes to the compiler's architecture, including its index, interpreter, and code generation.
cppdatalogstatic-code-analysissouffletranslator
RelationalAI/rai-test-julia
Jan 2023 - Sep 2025
RAI Test Function for Julia
Contributions:92 reviews, 68 PRs, 166 pushes in 2 years 8 months
julia
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.