I research, build, secure, and explain intelligent systems — from autonomous agents and experimental model-training environments to tamper-evident cybersecurity and verifiable AI infrastructure.
$ whoami Gregory J. Ward Research Engineer · CTO @ SmartLedger $ cat focus.json { "research": [ "axiomatic models", "LLM training", "agent evaluation", "reinforcement environments" ], "security": [ "tamper detection", "cryptographic integrity", "sandboxed AI agents" ], "systems": [ "distributed computing", "agentic AI", "verifiable infrastructure" ] } $ _
My work sits where cybersecurity, artificial intelligence, cryptography, distributed systems, and experimental computation meet. I build systems that do more than produce outputs — they preserve evidence about how those outputs were produced.
Current work explores model reasoning, autonomous agents, reinforcement-style environments, continual adaptation, and computational discovery.
Since December 2025, I have been investigating models that reason from explicit axioms, invariants, constraints, and falsifiable propositions rather than relying exclusively on unconstrained natural-language inference.
Experimental work with outcome-based reward, persistent memory, self-evaluation, sparse expert routing, localized learning, and reinforcement-style feedback loops.
Testing whether useful parameter-update structure can be retained, compressed, and reused to accelerate later model adaptation across tasks and domains.
Building systems that generate hypotheses, preserve invariants, run controlled experiments, search for counterexamples, and revise their theories from evidence.
My security work has evolved from file integrity and cryptographic event chains into AI-agent accountability, sandboxed execution, and independently verifiable process history.
Formal foundation in defensive security, risk, cryptography, network security, identity, and secure architecture.
Designed a system where file changes become signed fingerprints, are hash-chained, rolled into Merkle roots, and anchored for independent verification.
Led the IBM engineering team during the first implementation of CertiHash and presented the architecture publicly in London.
Current work includes sandboxed terminal agents, Kali Linux evaluation, constrained action spaces, permission boundaries, tamper monitoring, and agent accountability.
A selection of active and historical projects across AI, cybersecurity, cryptographic provenance, and distributed systems.
Cryptographically verifiable evidence of human input, AI output, review, tool actions, approvals, and autonomous activity using signed event histories and Merkle commitments.
Visit ProofOfProcess →Tamper-evident monitoring architecture for proving what changed, when it changed, and whether historical security evidence was altered.
SmartLedger →Experimental model-training and evaluation work focused on explicit axioms, proof state, invariants, counterexamples, structural reasoning, and machine-verifiable outcomes.
Structured JSON-based terminal agents operating inside constrained Linux and Kali environments for safe cybersecurity testing and measurable agent evaluation.
Schema-driven multi-agent architecture with memory, tool routing, research, code generation, structured outputs, and iterative evaluation.
Distributed volunteer-compute concepts for collaborative scientific and mathematical search using shared workloads, reproducible evidence, and decentralized contribution.
“Don’t just ask whether an intelligent system produced the right result. Ask what it did, what evidence it used, what authority it had, and whether the process can be verified.”
I teach programming, artificial intelligence, prompt engineering, agent systems, blockchain, and computational thinking to beginners, developers, organizations, and technical teams.
Programming fundamentals through advanced systems thinking for kids, adults, and working developers.
Practical AI usage, prompt design, agent workflows, model integration, automation, and responsible deployment.
Available for lectures, workshops, panels, research discussions, and technical strategy sessions.
Research collaboration, advanced engineering, cybersecurity, agentic AI, technical consulting, teaching, or speaking.
Research Engineer
CTO / CDO, SmartLedger
Founder, Codenlighten
Opens your email app with the message pre-filled.