Toronto, Canada · LinkedIn · Email
I build the systems around foundation models that make them safe to operate: policy-gated tool execution, tenant-isolated data, measurable inference cost, observable workflows, and evidence you can replay.
Target roles: Senior/Staff Applied AI Engineer · AI Platform Engineer · Distributed Systems Engineer · Solutions Architect
Interested in: teams shipping high-assurance AI, developer platforms, agent infrastructure, and enterprise-scale systems.
APPLIED AI · DISTRIBUTED SYSTEMS · MCP · POSTGRESQL RLS · AGENT EVALS · FORMAL VERIFICATION
- I bridge architecture and implementation. I can align stakeholders on a system boundary, then build the Go, Rust, TypeScript, Python, database, and CI pieces that make the boundary real.
- I treat AI as a production systems problem. Models are useful; the surrounding controls determine whether a system is reliable, secure, affordable, and supportable.
- I make claims inspectable. My public work includes specifications, benchmarks, negative security tests, formal models, conformance vectors, and CI quality gates—not just screenshots or demos.
- I understand enterprise delivery. My work spans customer-facing architecture, identity and data integrations, institutional security, procurement conversations, and the operational constraints that decide whether a system ships.
| Area | How I approach it | Public proof |
|---|---|---|
| AI platform and agent infrastructure | Keep the model unprivileged; put capability discovery, authorization, retries, budgets, and side effects behind explicit services. | ReadyLayer · agent-infra |
| ML infrastructure and compiler quality | Turn numerical discrepancies into minimized, reproducible, portable evidence for JAX/OpenXLA investigations. | XLAxiom |
| Secure multi-tenant systems | Enforce tenant boundaries in the database kernel with PostgreSQL RLS and test the negative cases automatically. | Settler |
| Inference economics and operations | Measure tokens, latency, routing, and spend; use hard quotas and fallbacks to keep inference predictable. | TokenGoblin |
| Reliable distributed execution | Specify state transitions, ordering, and capability rules; validate implementations against formal models and conformance vectors. | veridag |
| Formal methods and research software | Combine exact computation, counterexample search, Python control planes, and Lean 4 kernel-checked witnesses. | GRAPH-Lab |
If you are reviewing this profile for a role, these are the fastest paths to signal:
- Flagship portfolio — six systems spanning ML infrastructure, AI developer tooling, LLM operations, distributed execution, enterprise data, and formal methods.
- Architecture and technical writing — how I reason about production AI beyond model selection.
- Working stack — the languages, data systems, inference tooling, and infrastructure I use.
- About and contact — current role, enterprise background, and the best way to reach me.
Production AI needs deterministic boundaries around probabilistic components. The model proposes; typed policy services decide what may happen; execution systems perform only authorized work; evidence makes the result inspectable.
untrusted input / event
│
▼
┌──────────────────────────────────────────────────────────────┐
│ Observe: ingress, token spend, latency, traces, tenant scope │
└───────────────────────────┬──────────────────────────────────┘
▼
┌──────────────────────────────────────────────────────────────┐
│ Plan: unprivileged model emits typed candidate tool intent │
└───────────────────────────┬──────────────────────────────────┘
▼
┌──────────────────────────────────────────────────────────────┐
│ Control: MCP policy gateway authorizes reads, writes, and HITL│
└───────────────────────────┬──────────────────────────────────┘
▼
┌──────────────────────────────────────────────────────────────┐
│ Execute: isolated services, RLS data access, idempotent jobs │
└───────────────────────────┬──────────────────────────────────┘
▼
┌──────────────────────────────────────────────────────────────┐
│ Prove: audit chain, invariants, reconciliation, replayable log│
└──────────────────────────────────────────────────────────────┘
Intelligence can be probabilistic. Infrastructure cannot.
- Evidence over confidence: if a run cannot be inspected or replayed, it is not production-ready.
- Determinism at the edges: keep probabilistic behavior inside explicit schemas, policies, state machines, and execution limits.
- Security in the kernel: enforce tenant isolation and authorization where a missed application check cannot bypass them.
- Boring reliability wins: idempotency, retries, observable queues, and clear failure paths beat hidden cleverness.
- Cost is a correctness constraint: runaway inference spend is an operational failure, not merely a finance problem.
These four repositories are the most representative public evidence of how I work. The table is generated from a versioned manifest, checked against GitHub weekly, and separates released, beta, and research work.
Public project metadata last verified 2026-10-14 · source manifest · verification policy
| Project | Problem | Public evidence |
|---|---|---|
| TokenGoblin · Go Measure · beta |
LLM workloads need cost, usage, and routing data before teams can control inference spend. | Public ingestion benchmarks, cost and routing tests, and a repository-level CI workflow. Architecture · Evidence |
| ReadyLayer · TypeScript Govern · beta |
AI-assisted delivery needs policy, review, and evidence before generated changes reach production. | Public policy contracts, evidence export documentation, test suites, and CI quality gates. Architecture · Evidence |
| veridag · Rust Prove · research |
Distributed execution needs explicit ordering, capability security, and cross-language conformance. | A public protocol specification, Quint formal models, test vectors, and dedicated conformance workflows. Architecture · Evidence |
| Settler · TypeScript Reconcile · beta |
Payment, banking, and operational records diverge unless matching and evidence rules are explicit. | Public reconciliation benchmark source and checked-in snapshots, with CI and security-invariant workflows. Architecture · Evidence |
I publish architecture notes that are grounded in the systems above:
- Building Safe Multi-Tenant AI Agents with Postgres RLS — why application-level filtering fails in autonomous workflows, and how to enforce tenant boundaries in PostgreSQL.
- Enterprise Tool Calling: Why Authorization Belongs Outside the Model — policy-gated MCP reverse proxies, unprivileged planners, and single-use approval tokens.
- From Prototype to Production: Architecture for Enterprise AI Agents — model abstraction, execution boundaries, CI evaluations, observability, and token-spend governance.
- Hardonia Architecture Playbook — system topology, bounded contexts, operating loops, and evidence verification.
Local compute and inference lab
I run a private, owned testbed for local model routing, quantized inference, image/video workflows, and failure-mode testing. The hardware includes an AMD EPYC 7452 server, AMD Ryzen AI 9 HX370 NPU/GPU compute, NVIDIA V100/P40/RTX 3060 accelerators, Ollama-compatible routing, ComfyUI, containers, and Prometheus/Grafana-style observability.
Public implementation lives primarily in model-tools, autopilot, and api-tools.
Verify the profile locally
git clone https://github.com/Hardonian/Hardonian.git
cd Hardonian
uv run python -m unittest discover tests -v
uv run python scripts/profile-metadata.py --check --verify-remote
uv run python scripts/profile-link-audit.pyThe checks reject stale project metadata, missing public evidence, broken local assets, and dead links.
I am a Solutions Architect at McGraw Hill and build Hardonia independently from Toronto. My work combines enterprise architecture and hands-on systems implementation: customer-facing technical strategy, distributed control planes, formal models, production TypeScript applications, and PostgreSQL isolation.
I also contribute part-time expertise to confidential frontier-AI evaluation and systems initiatives; client, model, dataset, and internal research details remain private.
Selected background:
- Enterprise integrations across identity providers, message buses, LMS/SIS/ERP platforms, and legacy data exchanges.
- Working knowledge of LTI 1.3 Advantage, OneRoster 1.2, OAuth 2.0, Keycloak OIDC, SCIM, MCP, and OpenTelemetry trace propagation.
- Institutional security and compliance conversations, including FERPA and SOC 2 requirements.
- President's Award for Sales Excellence, reflecting the ability to turn difficult technical work into customer and business outcomes.
Hiring managers and recruiting teams: the best way to reach me is LinkedIn or email. I am especially interested in roles where I can help turn ambitious AI capabilities into reliable platform primitives and shipped products.
If you are evaluating the engineering work first, start with TokenGoblin, ReadyLayer, veridag, or Settler, then follow the architecture links in each project.



