I research how semantic structures can be made executable.

My work treats semantics not as a descriptive or interpretive layer, but as a structural constraint on system behavior— governing what actions are possible, how they compose, and how responsibility is assigned.

This research defines executable semantic order as a computational model in which semantics participates directly in execution, verification, and coordination across agents and systems.