Researching new mathematics and a behavior-first programming language for trustworthy computation.
rust research theorem-proving programming-languages refinement formal-methods trustworthy-computing lean4 resource-aware behavioral-semantics
-
Updated
Aug 31, 2026 - Rust