Programs & Clusters
Research initiatives across mathematical and computational domains.
Gwanglin
Idiom-correspondence program. Compilation of models across set-theoretic, categorical, and quotient representations with p-morphism preservation and FI transport.
Quotient Flow Invariant
Spectral-LDP diagnostics on coarse-grained Markov chains. Murphy horizons, occupancy rate functions, and drift-validity guarantees.
Quantum Social Gravity
Path integral formulation of attention dynamics. Status quantization, tunneling amplitudes, black hole thermodynamics for institutions.
Typed Effect Calculus
Contract-indexed graded effect systems. Compile-time safety for decision kernels with sub-additive grade composition.
Modal Shell
Typed modal logic with probabilistic modalities and fixpoints. Idiom-indexed necessity, drift-time operators, µ/ν binders for safety and liveness.