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
-
Marc Fischer
Chief Executive Officer
-
Mislav Balunović
Chief Technology Officer
-
Luca Beurer-Kellner
Chief Scientific Officer
-
Martin Vechev
Advisor, Professor of Computer Science at ETH Zurich
-
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.