Topic hub

Dynamical Systems

How can complex systems be specified consistently enough to compare, verify, and simulate?

Model-based systems engineering, compositional specifications, feedback, simulation, and the search for reusable structures across control, games, software, and business dynamics.

ModelingCompositionFeedbackSimulation

Research threads

openWhere does determinism help—and where does it create false confidence?

What can deterministic machinery genuinely establish, and which uncertainties remain outside its tests, specifications, and repeatable outputs?

Writing

Published essay

Building Is Cheap. Knowing What to Build Isn’t

Reflections on building tools at the boundary of math, software, and understanding

↗

Working note

Agentic Organizations Through Control Theory and Cybernetics

A crosswalk between habitats, harnesses, handoffs, and the language of governed systems

→

Published essay

The Shadow of Compression

On symbolic and statistical learning as two directions toward the same fixed point

↗

Code and models

Active · Open source

gds-core

A typed, compositional framework for specifying, simulating, and verifying complex systems.

→

Thinking in public

Systems Thinking Notes

Connecting software architecture, control theory, system properties, and the views we use to reason about them.

↗

Still unresolved

Open questions

Which structures remain invariant when the same system is viewed through different disciplines?
How can discovery artefacts remain traceable through diagrams, code, and simulation?
What can be verified from a specification before a runtime is chosen?