Oleksandr Zalizniak
Founder & Systems Engineer. Twenty years building backend systems at scale. Now building the tools that make them reliable.
Résumé: PDF · DOCX · LinkedIn · GitHub
About Me
Section titled “About Me”I’m Oleksandr. I build Flowrensic™, forensics for durable execution. It finds out why workflows get stuck, fail, or quietly burn money.
Before that, twenty years on backend systems: cloud infrastructure and microservices on AWS, across SaaS, e-commerce, fintech, and telecom. Founding engineer and CTO of an AI native SaaS platform.
My passion is effortless durable execution: workflow engines, the code that runs on them, and the tooling around both.
I live in Upstate, NY.
What I’ve Done
Section titled “What I’ve Done”- Product engineering. Architecture, backend, infrastructure, and observability. Most recently an AI native contract platform: an agent runtime on Temporal, a document processing service, and a React frontend.
- Backend and cloud architecture. Distributed systems on AWS, built to stay up under load and to cost what they should.
- Durable execution. A year running LLM agents on Temporal. That is where Flowrensic came from.
- Formal methods, applied. TLA+, Quint, and my own TypeScript model checker, run against real production workflow code.
- Technical leadership. Cross-functional teams of backend, frontend, and QA engineers, from idea to launch. GDPR, SOC 2, and ISO 27001 work.
Flowrensic™ pre-launch
Section titled “Flowrensic™ ”Your workflow engine shows you state. Flowrensic shows you causes: why a run is stuck, which activity keeps retrying, what broke after the deploy.
Code intelligence for durable workflow engines. Bugs caught in the code, replay against real histories, runtime signals traced back to the line. Temporal first.
SpecCraft on hold
Section titled “SpecCraft ”SpecCraft is a guide to formal methods for TypeScript developers. It starts from bugs you have probably seen, then shows how TLA+, Quint, Dafny, and Lean find them.
I started it after hitting a part of my own system I could not refactor or test my way out of. Writing a spec is what made it visible. The site is still up, on hold while I work on Flowrensic.
Signus.ai co-founder
Section titled “Signus.ai ”Signus.ai is an AI native contract intelligence platform, built around Sigi, a legal agent that generates, signs, analyzes, and tracks agreements at scale. I co-founded it and built it from zero as CTO: backend, agent service, frontend, and infrastructure.
The agent runtime runs on Temporal, with durable workflows for chat, redline, risk analysis, and contract questions. That is where I learned how hard these workflows are to debug once they are live, which is the reason Flowrensic exists.
Let’s Connect
Section titled “Let’s Connect”If you run workflows in production and they give you trouble, I want to hear about it.