Bounded Rationality Applying systems thinking to our complex, irrational world

Projects

PhD Research: T-Kernel proven functionally-correct, memory-safe & resistant to side-channel attacks

Applying model-based systems engineering, deep specification, and formal verification to ubiquitous computing systems

Hack the Planet!!!

Concept of Operations (CONOPS) for a new era of ubiquitous computing that respects your privacy, security, and sanity

Kie (Knowledge Integration Engine)

Building an exocortex from first principles — for combinatorial creation of knowledge elements