Abdul Zreika
Compiler Engineer at RelationalAI
Greater Melbourne Area Australia
Summary
🤩
Rockstar🎓
Top SchoolAbdul Zreika is a compiler engineer with a decade of experience at the intersection of compilers, logic programming, and formal methods, currently building language and compiler infrastructure at RelationalAI. He brings deep C++ and program-rewriting expertise from multi-year research on Soufflé and has applied formal techniques to real-world systems including a verified file system and ARM64 disassembly pipelines. His background includes SMT-backed static network analysis at AWS and academic work that spans parser and type-system design, AST engineering, and optimization passes. Awarded a University Medal with First Class Honours in Advanced Mathematics and Computer Science, he combines rigorous theoretical training with pragmatic engineering. As an occasional tutor and researcher, he’s comfortable translating complex formal concepts into teachable solutions and production tools. Off the beaten path, he’s cultivating an online presence as an "aspiring GitHub influencer," signaling a drive to share tools and insights with the broader engineering community.
10 years of coding experience
1 year of employment as a software developer
The University of Sydney
English, Arabic
Github Skills (63)
static-code-analysis10
datalog10
parallel10
horn10
logic-programming10
capstone10
declarative-programming10
specification10
translator10
cpp10
logic10
verification9
1c9
julia9
science9
Programming languages (8)
Github contributions (5)
azreika/lambdul
Dec 2017 - Jun 2019
Lambda calculus interpreter written in Java
Contributions:25 commits, 1 PR, 2 pushes in 1 year 6 months
calculuslambda-calculus-interpreterlambda-calculusjavainterpreter
azreika/souffle
Mar 2017 - Feb 2021
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
Contributions:4 PRs, 951 pushes, 247 branches in 3 years 11 months
compilerprogram-analysiscompileddomain-specific-languagedatalog
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.