I help platform, infrastructure, and protocol teams find failures their tests weren't designed to catch, before customers or on-call rotations do.
I build practical reliability workflows around executable specifications: property-based tests, fuzzers, simulation, adversarial scenario generation, and conformance testing. These are the same general techniques used internally at AWS, Oracle, and Microsoft, made practical for teams building cloud-native systems, from Kubernetes controllers and microservices to payment infrastructure and other stateful platforms.
As AI-generated code accelerates implementation, the bottleneck shifts from writing code to knowing whether it is correct. Executable specifications help close that gap: they describe intent precisely enough to test against, and can be invoked by agents during generation and review.
📫 Contact: blltprf.xyz · webintake@blltprf.xyz
📍 Based in: Vienna, AT · available across Europe and internationally
|
⚡ Spec-Driven Testing & Test Oracles |
🤖 AI-Generated Code Testing |
|
📐 Protocol Specification & Review |
💡 Strategy & Training |
|
Aztec Labs: Governance Protocol |
Ethereum Foundation: 3-slot finality |
|
Protocol fuzzing workshop @ Protocol Berg v2 |
Solarkraft |
|
Apalache: Symbolic Model Checker for TLA+ and Quint |
Quint: Modern Language Tooling for TLA+ |