Rachel Dowavic
Software Engineer at Cover Genius
Greater Sydney Area Australia
Summary
👤
Senior🎓
Top SchoolRachel Dowavic is a software engineer based in Greater Sydney with eight years of hands-on experience building reliable back-end systems, currently working at Cover Genius after earlier roles at Akuna Capital and as a Cover Genius intern. She combines an advanced Bachelor of Science (Adv) in Mathematics and Computer Science from the University of Sydney with practical compiler and analysis work—contributing to the Soufflé Datalog compiler by improving debugging reports, fixing aggregate-handling bugs, and implementing parallel aggregates. Comfortable across industry and academic environments, she has tutored and mentored students and brings a disciplined, logic-driven approach to engineering problems. Outside code, she studies foreign languages, reflecting a curiosity for structured systems both technical and linguistic.
8 years of coding experience
2 years of employment as a software developer
French German Italian English Extension, French German Italian English Extension at Smith's Hill High SchoolThe University of Sydney
Arabic, Persian, Italian, French, German
Github Skills (13)
translator10
datalog10
translators10
logic-programming10
flet10
ff10
cprogramming-language9
c-language9
parallel-computing8
algorithms8
data-structures8
algorithm8
data-structure8
Programming languages (6)
Github contributions (5)
souffle-lang/souffle
Mar 2019 - Oct 2020
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:4 reviews, 140 commits, 14 PRs in 1 year 7 months
Contributions summary:Rachel's contributions focused on improving the debugging report for the Soufflé Datalog compiler by ensuring the display of RAM transforms. They also addressed issues with aggregate handling, including preventing the removal of loops needed by aggregates and adding tests for aggregates. Further, they fixed a bug in the Materialize Aggregate Transformer for a simple unnested case. They have also worked on the implementation of parallel aggregates.
logic-programminganalysesc-plus-plusc-programlogic
rdowavic/souffle
Mar 2020 - Oct 2020
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.
Contributions:3 PRs, 65 pushes, 10 branches in 6 months
designerscpplogic-programmingclausesanalyses
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.