Research
In addition to developing HASH, we publish much of the original research we conduct into graphs, agents, and formally-verified systems as part of our mission
Current Projects
May 2026A multi-temporal graph-backed foundation model for processes
We’ve launched a series of projects as we seek to develop a true foundation model for processes backed by multi-temporal, strongly-typed graphs of the world. Learn about the background to this work in our Introduction to Graph-JEPA and look out for a public announcement soon.- 2026 –
Specification elicitation tools for faithful intent representation
A research prototype we’re developing as part of ARIA’s Safeguarded AI programme, where we lead the “Interaction Paradigms” technical area, exploring how domain experts can better encode intent, minimizing risks of incompleteness and misunderstanding, in ways that lend themselves to formal verification. Learn more at brunch.ai - 2025 –
Petri Nets for trustworthy agentic coordination
Exploring how Petri Nets, a mathematical formalism for modeling distributed, concurrent systems, can be used to coordinate and audit agentic workflows. Petrinaut is a browser-based editor/simulator for Petri Nets developed as part of this work. Try it out at petrinaut.org - 2025 –
Formally-verifiable modeling of safety-critical supply chains
In collaboration with the University of Oxford’s Department of Computer Science: Professor Nobuko Yoshida, Professor David Parker, and Adrian Puerto Aubel. Check out the announcement blog post and stay tuned for more information soon.
Graduated Projects
- Started 2023 / Launched
Multi-temporal hypergraph query language
HashQL is a query language with first-class support for hypergraph relations and multiple, independent time dimensions — enabling precise reasoning over how data evolves and when it was known. Learn more at hgres.org/hashql - Started 2022 / Launched
Backend-agnostic, strongly-typed graph data engine
A data engine for typed property graphs that decouples query and schema semantics from the underlying database, allowing the same graph workloads to run unchanged across multiple optimized storage backends. Learn more at hgres.org - Started 2021 / Launched
Composable, interoperable, decentralized semantic types
A specification and shared, open registry of semantic types — definitions of the concepts, measures, and entities that structured data refers to. SemType provides a common vocabulary that both people and AI agents can reference to exchange data unambiguously. Read the spec at semtype.org/spec and browse the registry at semtype.org/types - 2021 – 2023 / Paused
Embedder-agnostic blocks
An initiative to make interactive UI blocks portable across applications, regardless of the host environment. The output of this work was the Block Protocol — an open standard for structured, composable blocks that can be embedded in any supporting application. Read the spec at blockprotocol.org/spec
Productized Research
2019
hCore: High-performance agent-based simulation engine developed in Rust, compiled to WASM, capable of running user-created JavaScript, Python and Rust simulations.2019
GPT-2 ABMs: Early LLM-integrated agent-based simulations, and grounding of agents in world models begins.2020
Real-world applications: Optimization of real-world systems like vaccine distribution and supply chains begins.2021
Graph-backed models: Multi-temporal, strongly-typed graph underpinning for error-sensitive, safety-critical environments.
Active Research Areas
In-Transformer Simulation
Graph Machine Learning / JEPA
Temporal Hypergraph Querying
Autoformalization
Logic Programming
Process (De)composition
Hierarchical Reinforcement Learning
Join Us
Create a free account
Sign up to try HASH out for yourself, and see what all the fuss is about
By signing up you agree to our terms and conditions and privacy policy