Employment
-
IndrasNet OÜ Board member2018 - Present
Education
-
Odessa National Economics University Master1993 - 1998
Projects & Funding
Projects & funding information is unavailable.
Publications (9)
- Execution Admissibility Infrastructure v0.1: Replay-Verifiable Runtime Enforcement for Binding State Transitions Save
- External Verification Event Report v0.1: Replay-Verified Evidence for Execution Admissibility Baseline Save
- Reference Verifier Spec v0.1: Deterministic Replay-Equivalence Verification for Execution Claims Save
- DeciRepo Decision Protocol v0.1: Reference Architecture and Verification Model Save
- DLX: Decision–Ledger–eXecution — A Validation Architecture for State Transitions Save
- Contract Reproducibility for Validation-Only Systems Save
- DLX ROVS-XL 0.1.1: Validation-Only Framework for Claim and State Boundaries Save
- IndrasNet108/fsm-governance-engine-lib: FSM Governance Engine v0.1.1 Save
- ROVS-SD v0.1.1 — Refutation-Only Validation Standard (Snapshot Reproducibility Repair) Save