I help teams working on reliability-critical software find failures that conventional testing misses.
My work combines three things that are rarely found together:
- Independent perspective: an outside view of the system, architecture, and implementation.
- Automated evidence: conformance and differential testing, model-based and property-based testing, fuzzing, formal methods (like Lean and TLA+).
- Experienced technical judgment: practical judgment from work on distributed systems, reliability-critical software, advanced testing, formal verification, and AI-assisted engineering.
Recent work includes AI-assisted verification and rigorous testing of AI-generated code.
📫 Contact: thpani.net · hello@thpani.net
📍 Based in: Vienna, AT · working internationally