We Made π²

Our team is dedicated to taking verifiable computing to the next level: lightning fast and correct-by-construction.

  • Grigore Rosu

    Founder & CEO

  • Patrick MacKay

    COO

  • Xiaohong Chen

    CTO

  • Dwight Guth

    Head of Engineering

  • Sriram Vishwanath

    Head of BD/Growth

  • Ilja Zakharov

    Engineering Manager

  • Adam Fiedler

    Lead Software Engineer

  • Mihai Calancea

    Software Engineer

  • Roberto Rosmaninho

    Compiler Engineer

  • Yi Zhang

    Software Engineer

  • Chenglong Ma

    Full-stack Engineer

  • Reeka Maharaj

    Technical Writer

  • Brandon Moore

    Software Engineer

  • Theodoros Kasampalis

    Compiler Engineer

  • Traian-Florin Șerbănuță

    Software Engineer

  • Nishant Rodrigues

    Research Collaborator

  • Octavian Mircea Sebe

    Software Engineer

  • Yan Liu

    Software Engineer

  • Dorel Lucanu

    Research Collaborator

  • Bolton Bailey

    Proof Engineer