Sites Inria

There are 9 Results with the keyword : "formal methods"

Antoine Petit Antoine Petit, CEO - © Inria / Photo C. Helsly

Board

Antoine Petit, new Inria Chairman and CEO

DirCom - 29/09/2014

By Decree of the President of France on 26 September 2014, Antoine Petit has been appointed as Chairman of the Board of Directors of Inria.

Keywords:

Home > News > News from Inria > Antoine Petit nouveau PDG d'Inria

More

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Keywords:

Home > News > Calendar > Forum Microsoft Research Inria 2011

lire la suite

sécurité

Seminar - Security

Security Seminar

3/12/2010

Place : Inria Rennes-Bretagne Atlantique Research Centre, Michel Métivier room

Guest(s) : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Keywords:

Home > Centre > Rennes > Calendar > Séminaire "Sécurité & méthodes formelles"

Lire la suite

CEA-EDF-Inria School

CEA-EDF-Inria schools - Modelling and verifying algorithms in Coq: an introduction

14/11/2011 to 18/11/2011

This school is a 5 days course for engineers, and for students and researchers. Participants should be familiar with programming (e.g. in C or Java), but no knowledge of a proof assistant or of a functional language is required. Participants are invited to bring their own laptop to profit of the afternoon exercise sessions.

Place : Rooms Orange 1 and Orange 2 (5th floor), Inria Antenne de Paris, 23 avenue d'Italie, 75013 Paris. Metro: Place d'Italie.

Keywords:

Home > Centre > Paris > Calendar > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

Lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Keywords:

Home > Centre > Paris > Calendar > Forum Microsoft Research Inria 2011

lire la suite

Crédit photo : Pierre Jayet – Grenoble Tourisme et Congrès © Pierre Jayet – Grenoble Tourisme et Congrès

Conference

SEFM 2014 : Software Engineering and Formal Methods

1/09/2014 to 5/09/2014

The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 1-5, 2014 . The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. SEFM 2014 is organized by Inria and supported by Grenoble INP, University Joseph-Fourier, LIG, and CNRS.

Keywords:

Home > Centre > Grenoble > Calendar > SEFM 2014 : Génie Logiciel et Méthodes Formelles

lire la suite

Partnerships

Microsoft Research - INRIA Joint Centre: Research for e-Sciences

The Microsoft Research - Inria Joint Centre shared research laboratory was established on the 11th January 2007 following a period of collaboration dating back over several years. The aim of the shared laboratory is to undertake long-term research into formal methods for software security, and data processing methods and tools applied to scientific research.

This partnership began in 2005 and was renewed in 2009 and 2013.

Keywords:

Home > Institute > Partnerships > Industrial partnerships > Microsoft Research

More

© INRIA Sophie Auvin - P comme Protocole

Rencontres Inria Industrie

HACL*: Verified Cryptography for Provably Secure Applications

Project team Prosecco (Inria Paris) -

HACL* is a new verified cryptographic library that implements popular modern cryptographic primitives. Using these primitives, HACL* implements the NaCl cryptographic API and can be used as a drop-in replacement for NaCl implementations like libsodium and TweetNaCl. The source code is C generated from F*. This implies that the verified primitives can be used as part as security critical applications and their security proofs.

Keywords:

Home > Centre > Paris > Innovation > RII "Les données" 17-18 octobre 2017 > Demos > HACL* : Librairie Cryptographique pour Applications à haut niveau d'assurance

More

Antoine Petit © INRIA - Photo C. Lebedinsky  © Inria / Photo C. Lebedinsky

History of Inria

Antoine Petit, transfer and innovation

Born in 1960, Antoine Petit is an agrégé  in mathematics, doctor of science and a specialist in formal methods. He is the author of some fifty scientific publications. Professor at ENS Cachan, he was CEO of Inria from 2014 to 2018.

Keywords:

Home > Institute > Inria in brief > The people who made Inria > Antoine Petit

More

Top