Dale Miller

LAUREAT 2011 - Membre de l'équipe-projet Parsifal
Dale Miller
© 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