Moi (Me)   Nom : Frédéric Gava Age : 39 Situation : Docteur (phd)-HDR, Maître de Conférences (Associate Professor). Courriel : frederic.gava@univ-paris-est.fr Adresse : Laboratoire d'Algorithmique, Complexité et Logique (LACL), Université de Paris Est, P2 du CMC de Paris Créteil, 61 avenue du Géneral de Gaulle, 94010 Créteil cedex, France Tél : +33/ (0)1 45 17 16 47 Fax : +33/ (0)1 45 17 66 01 CV : Curriculum Vitae (outdate)

Nouvelles (News)   Projet ANBLIC about Parallelisation and Verification of Fully Homomorphic Encryption primitives    05/01/2018 Soutenance de Thèse de Victor Allombert    10/06/2017 Liens (Links)   Project SPREADS - Projet ANR Security, Secure P2P data-storage Project VEHICULAIRE - Projet du Digiteo de la région IdF, model-checking parallèle pour les M-nets Project Caraml - Projet ACI Grid, OCaml pour le grid-computing Project Propac - Projet ACI Jeunes Chercheuses et Chercheurs, PROgrammation PArallèle Certifiée DBLP - Base de données de publications scientifiques (ici les miennes)