software developer · ai & ml
Algorithms-first engineer with a decade across protocol verification, algo trading, deep learning and data collection. M.Sc. coursework at Reichman University finished in 2025; currently writing my thesis and available for full-time work in parallel.
I'm an experienced programmer with a focus on algorithmics and problem solving, and an expertise in AI and ML. I've shipped as a protocol-verification lead inside a large team at Cadence, as the sole architect of an algo-trading PoC, and as a founder/CTO running a deep-learning data-collection product end-to-end.
Creative and dedicated, comfortable working solo or inside small, high-trust teams. I finished the coursework portion of my M.Sc. in 2025 and am now writing the thesis — so I'm available for full-time work in parallel, today.
Coursework completed in 2025; currently writing thesis. Available for full-time work in parallel.
Founded and ran an early-stage product end-to-end. Python + JS on AWS.
Led the CHI coherency protocol within a wider verification team. C & SystemVerilog, GDB / UDB, Perforce, Jira.
Built the proof of concept for an algo-trading project, including genetic and learning algorithms. Mostly Node.js.
Scala on Spark in AWS. Designed models & algorithms to statistically measure user behavior, plus general wild-card engineering.
CS average: 87.
Fitting algorithms in Java and general web development for startups and individuals.
Live from github.com/adirz — this list refreshes itself whenever I push a new public repo.
A running shelf of papers, articles and other people's code I thought were worth saving — each with a short note on why.
Looking for someone who can move comfortably from a verification harness to a training loop to a production API? Let's talk.