Sites Inria

There are 2 Results with the keyword : "Inria Paris-Rocquencourt research centre"


Xavier Leroy, Royal Society Milner Award 2016


Xavier Leroy,Gallium project team leader at the Inria Paris-Rocquencourt research centre, has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science.


Home > Centre > Paris > News > Xavier Leroy, Royal Society Milner Award 2016


© INRIA Sophie Auvin - G comme Grille

Research teams seminar

Gallium seminar


In the formal-methods world, the hardware industry's use of formal verification is often touted as quite advanced compared to the state of practice in software.  The claim seems to be true, but software-verification specialists might be surprised at how weak are the theorems that tend to be proved about hardware.  

In this talk, I will present our Kami framework for the Coq proof assistant, which applies to digital-hardware verification the sorts of functional-correctness techniques that are well-known in the programming-languages community, with some twists.

Place : Inria de Paris- 2 rue Simone Iff - Salle Lions 1- bâtiment C

Guest(s) : Adam Chlipala


Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite