ESReDA Webinars on “Trustworthy Complex and Intelligent Systems” (30 April 2021)
A +/-

Certified Deep Learning

Martin Vechev
ETH Zürich

Friday, 30 April 2021
16:00 – 17:00 CET
FREE Online Zoom Webinar

Zoom Registration:


In this talk I will discuss some of the latest progress we have made in the space of certifying AI systems, ranging from certification of deep neural networks to entire deep learning pipelines. In the process I will also discuss new neural architectures that are more amenable to certification as well as mathematical impossibility and complexity results that help guide new kinds of certified training methods.

Martin Vechev is an Associate Professor at the Department of Computer Science, ETH Zurich. His work spans the intersection of machine learning and symbolic methods with applications to topics such as safety of artificial intelligence, quantum programming and security. He has co-founded 3 start-ups in the space of AI and security, the latest of which LatticeFlow aims to build and deploy trustworthy AI models.

Click to see the video

Trustworthy Complex and Intelligent Systems Webinar Series

This series is a collaboration between the European Safety, Reliability & Data Association (ESReDA), the ETH Zürich Chair of Intelligent Maintenance Systems, ETH Risk Center, the Norwegian Research Center for AI Innovation (NorwAI) and DNV GL.

Webinars will be run monthly throughout 2021 exploring the themes of trust, ethics and applications of AI and novel technology in complex and safety critical intelligent systems.

For further information contact:

Siegfried Eisinger
[email protected]
Elizabeth Traiger
[email protected]

Sponsored by