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