Systems, formal methods, and finance engineering
I build and verify software systems where correctness, clear models, and operational discipline matter.
Live demo by request
Formal specifications and model checking experiments for trading, liquidation, and adversarial scenarios. The interactive demo runs from a local environment and is available by appointment.
Request live demoVerification
Placeholder for concise writeups on invariants, state machines, and practical model checking workflows.
Read notesEngineering
Placeholder for small tools and experiments that connect formal reasoning with production constraints.
BrowseRicher semantics for Finance agent, better Automated Testing generation and evolution, and applying Formal Methods to other vulnerabilities in DeFi.
