About

We are a team of technical experts with broad experience ranging from academia to big tech on a mission to unlock the potential of AI systems by making them robust, reliable and secure.

Contact Us

  • A picture of Marc Fischer

    Marc Fischer

    Chief Executive Officer

  • A picture of Mislav Balunović

    Mislav Balunović

    Chief Technology Officer

  • A picture of Luca Beurer-Kellner

    Luca Beurer-Kellner

    Chief Scientific Officer

  • A picture of Lavinia Petrache

    Lavinia Petrache

    Head of Product

  • A picture of Hemang Sarkar

    Hemang Sarkar

    Founding Software Engineer

  • A picture of Dragoș Albăstroiu

    Dragoș Albăstroiu

    Research Engineering Intern

  • A picture of Aniruddha Sundararajan

    Aniruddha Sundararajan

    Research Engineering Intern

  • A picture of Zishan Wei

    Zishan Wei

    Software Engineering Intern

  • A picture of Martin Vechev

    Martin Vechev

    Advisor, Professor of Computer Science at ETH Zurich

  • A picture of Florian Tramèr

    Florian Tramèr

    Advisor, Professor of Computer Science at ETH Zurich

Together we have pioneered research in robust, secure and private AI. We have published many influential papers at renowned international venues, built LMQL and LVE, received research awards and international mathematics and informatics gold medals.

We bring experience from


Join Our Team

An illustration of four arrows pointing to the right, symbolizing the ability to move forward.