Sites Inria

There are 2 Results with the keyword : "Dale Miller"

Dale Miller / LICS

AWARD

Test of time award for Dale Miller (Parsifal)

30/08/2011

Dale Miller, leader of the Parsifal project-team, has been awarded during the LICS 2011 conference (June in Toronto) for a paper he wrote in 1991.

Keywords:

Home > Centre > Saclay > News > Test of time award pour Dale Miller

More

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller: “Making proof universal”

Sophy Caulier - 9/01/2012

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:

Home > News > News from Inria > Dale Miller : Faire que la preuve soit universelle

More

Top