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