I help platform, infrastructure, and protocol teams find failures their tests weren't designed to catch.
My work focuses on practical reliability workflows built around executable specifications, including property-based testing, fuzzing, simulation, TLA+, adversarial scenario generation, and conformance testing.
Typical targets are reliability-critical software and lately AI-generated code.
📫 Contact: blltprf.xyz · webintake@blltprf.xyz
📍 Based in: Vienna, AT · available across Europe and internationally