About

We are a team of technical experts from academia on a mission to unlock the potential of AI systems by making them secure and trustworthy. We believe that deterministic security is a multiplier for AI super-power.

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 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

An office with a view

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.