There are 1 Results with the keyword : "Proof of programs"
European Research Council 2011
Dale Miller: “Making proof universal”
As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.
Keywords:
- Certificates
- Inria Saclay Ile-de-France
- ProofCert
- Standards
- Systems of proof
- Proof of programs
- Parsifal project-team
- Dale Miller
Home > News > News from Inria > Dale Miller : « Faire que la preuve soit universelle »
Inria
Inria.fr
Inria Channel
Inria Research Centers