← Back to Faculty 
Neural Network VerificationAI SafetyFormal Methods
Develops formal methods for verifying the robustness and safety of neural networks and generative AI systems. Leads the EU-funded Robustifai consortium.
Develops formal methods for verifying the robustness and safety of neural networks and generative AI systems. Leads the EU-funded Robustifai consortium.