Research · Systems & Control
Data Systems at Scale
Keeping a number correct while the system underneath it is concurrent, partitioned and always moving.

Why this is hard
The unglamorous research, and the one the rest depends on. When stock moves and a voucher posts in the same transaction, or a million threshold rows are recomputed on every write, correctness under concurrency stops being theoretical. We work on the patterns that hold: transactional boundaries that actually bound, set-based recomputation instead of row-at-a-time, and freshness that does not cost consistency.
Questions we are working on
- What genuinely belongs inside one transaction, and what is a queue pretending to be one?
- When does set-based recomputation beat incremental maintenance, and at what row count does that flip?
- How do you make a batch safe to retry without building a distributed lock nobody can reason about?
- What is the cheapest architecture that still delivers sub-second freshness without a broker in the path?
What comes out of it
- Idempotent, all-or-nothing batch processing with per-entity deduplication
- Set-based recomputation over millions of rows in place of row-at-a-time maintenance
- Event delivery evaluated inside the writing transaction rather than by a sweeping job
- Column-level lineage and contract tests that fail a pipeline before a dashboard reports a wrong number
Where it ships
How it connects
Data systems in the practice.
This field and the others in its group. None of them is pursued in isolation.
Industrial Autonomy & Control
Learned models inside a control loop, where the consequence of being wrong is physical.
Read the fieldData Systems at Scale
Keeping a number correct while the system underneath it is concurrent, partitioned and always moving.
Bring us a problem in data systems.
Joint research, a proof of concept against your own data, or an honest read on whether the thing you want is possible yet. An engineer who works in this field replies.