Dale Miller

2011 - Parsifal project-team
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