Date:
15:45,
Tuesday, May 29, 2018
Speaker:
Joel Ouaknine
Venue: IST, Mondi Seminar Room 2, Central Building
Abstract:
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 quantum computing, group theory, and algebraic geometry. (No previous knowledge of these fields will be assumed.)