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