
Nican0r
Lead Invariants Engineer
Nican0r is a Lead Invariants Engineer at Recon, having built invariant testing suites for protocols including Centrifuge, Liquity v2, Corn, and Credit Coop. He specializes in designing comprehensive property sets that catch edge cases traditional testing misses.
Specialties
Invariant Suite DesignDeFi AccountingMedusaProperty Engineering