Joël Ouaknine: professeur à l'Université d'Oxford et directeur scientifique du Max Planck Institute for Software Systems. Son exposé s'intitulera : “P
Durée : 1h 02m 39s / Nombre de vues : 585
Joël Ouaknine, professeur à l'Université d'Oxford et directeur scientifique du Max Planck Institute for Software Systems.
Son exposé s'intitulera : “Program Invariants".
Automated invariant generation is a fundamental challenge in program analysis and verification, going back many decades, and remains a topic of active research. In this talk I'll present a select overview and
survey of work on this problem, and discuss unexpected connections to other fields including algebraic geometry, group theory, and quantum computing. (No previous knowledge of these things will be assumed.)
This is joint work with Ehud Hrushovski, Amaury Pouly, and James Worrell.
Date de réalisation : 16-05-2019
Date de dépôt : 16-05-2019
Type(s) de vidéo :
Structure(s) :
Thématique :
Collection :
Réalisateur(s) : Université de Lorraine
Copier le contenu de la zone de texte puis le coller dans la page
x