© Inria / Photo Kaksonen Dale Miller, 2011 winner of an ERC - Advanced Grant, works in this field, which is highly abstract but which has a definite impact on the real world. His aim is to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them. Read the complete interview Dale Miller: “Making proof universal