ProofX
Formal verification systems — exploring mathematical proof and computational logic.
Explore →
I explore systems — how ideas become structure; how structure becomes clarity.
This space gathers what I follow: computation, photography, and slow thinking.
I grew up curious about how things fit together — tools, patterns, encoded rules. Over time that instinct shifted toward computation, geometry, and structure.
This site is a quiet corner — not a résumé, not a pitch. Just a place to keep the threads of what I study and build.