Sign In
Get Clay Free →

Suggestions

    Jayaprabhakar Kadarkarai

    Software Engineer at Google, Developer of codiva.io, speaker - Distributed Systems, Big Data, Cloud, Serverless, Edge

    Jayaprabhakar(JP) Kadarkarai is a software engineer and entrepreneur with extensive experience in distributed systems, big data, and formal methods. He is currently the creator of FizzBee, a design specification language and model checker for distributed systems.1

    Prior to founding FizzBee, JP's career included:

    1. Working at Clumio, where he used TLA+ for formal verification of system designs.1
    2. A position at Lyft.1
    3. 12 years at Google, where he worked on large-scale, highly available, and eventually consistent systems.1
    4. Development of Codiva.io.2

    JP's expertise spans areas such as distributed systems, big data, cloud computing, microservices, and containers.2 He has a strong interest in formal methods and software verification, which led him to create FizzBee to make these techniques more accessible to everyday software engineers.1

    As of February 2025, JP is actively working on FizzBee, collaborating with early adopters and design partners to improve software development processes for distributed systems.1

    Highlights

    FizzBee, TLA+, and (Practical) Formal Software Verification with JP ...
    FizzBee, TLA+, and (Practical) Formal Software Verification with JP ...

    Related Questions

    What inspired JP to create FizzBee?
    How does FizzBee compare to other formal verification tools?
    What challenges did JP face while working at Clumio?
    How did JP's experience at Google influence his approach to software engineering?
    What are the main features of FizzBee?
    Jayaprabhakar Kadarkarai
    Jayaprabhakar Kadarkarai, photo 1
    Jayaprabhakar Kadarkarai, photo 2
    Add to my network

    Location

    San Francisco Bay Area