Alexander Cox
Automated Workflow Engineer
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolAlexander Cox is an Automated Workflow Engineer based in Sydney with eight years of software and broadcast-industry experience and a BSc in Computer Science from ANU. He combines practical automation skills—currently helping DAMsmart digitise video content—with hands-on operations experience as a former television Presentation Coordinator. Alexander contributes to formal-methods documentation in the HOL theorem-proving project, improving clarity and proofs, which suggests a careful, detail-oriented approach to technical writing and tooling. Outside engineering he co-hosts online meditation retreats, reflecting an ability to blend technical rigor with human-centered facilitation.
8 years of coding experience
Australian National UniversityCertificate IV, Computer Programming, Certificate IV, Computer Programming at Canberra Institute of Technology
Github Skills (4)
documentation10
theorem-proving10
lambda-calculus10
sml7
Programming languages (9)
Github contributions (5)
HOL-Theorem-Prover/HOL
Nov 2018 - Dec 2019
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Role in this project:
Technical Writer
Technical WriterContributions:39 commits, 7 PRs, 5 comments in 1 year
Contributions summary:Alexander's commits primarily involve modifications to the project's documentation, specifically within the "Manual/Tutorial/combin.stex" file. The changes include fixing typos, reformatting the goals, and converting theorems to use the "Proof ... QED" syntax. The commits demonstrate an effort to improve the clarity and consistency of the documentation. Furthermore, the user has added some new unibag theorems into the `bagScript.sml` file.
pythonsatsat-solversourcesmerged
lxndrcx/HOL
Nov 2018 - Jan 2020
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Contributions:4 PRs, 25 pushes, 8 branches in 1 year 1 month
theoremtheorem-provingmastersat-solvermainline
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.