Abdul Zreika

Abdul Zreika has a diverse work experience timeline. Abdul recently started working as a Compiler Engineer at RelationalAI in May 2021. Prior to this, they worked at the University of Sydney in various roles. From March 2017 to January 2021, they worked as a Research Assistant in Logic & Compiler Development, where they focused on the development of a compiler for the logic-programming language Soufflé. Their responsibilities included program-rewriting optimizing transformations, parser design, AST development, type-system design, writing/optimizing logic code, and general maintenance/issue resolution. Additionally, from November 2019 to June 2020, Abdul worked as a Research Assistant in Static Analysis, where they extended a binary disassembler to support ARM64 machine code using a combination of C++ and Soufflé. Abdul also worked as an Academic Tutor from March 2017 to June 2019.

In 2019, Abdul briefly worked as a Software Development Engineer at Amazon Web Services (AWS), where their role involved static network analysis using SMT solvers to automate checking for network misconfigurations and vulnerabilities.

Before that, they were a Summer Scholar at CSIRO's Data61 from December 2016 to February 2017, where they worked on the development of a formally verified file system written in Cogent. Prior to that, they also gained experience as a Student Researcher in Bioinformatics at Westmead Hospital from July 2016 to January 2017, focusing on integrating multiple online gene variant databases and assessing the consistency of reports of pathogenicity.

Abdul's work experience also includes a role as a Student Researcher in Mathematics at the University of Sydney from November 2015 to February 2016. During this time, they implemented an algorithm in computational topology to determine the existence of closed essential surfaces in knot complements and constructed visual representations of vertex surfaces using Hasse diagrams.

Overall, Abdul possesses a range of experience in compiler development, static analysis, software engineering, formal verification, bioinformatics, and mathematics.

Abdul Zreika pursued their education from 2014 to 2018 at the University of Sydney, where they attained a Bachelor of Science degree with a major in Advanced Mathematics and Computer Science. During this time, they also achieved Honours in Computer Science.