Stages

Stages

Stage: Etude du potentiel des approches a base de graphes et de Proof-of-Shake pour les cryptomonnaies avec ou sans permission

Ecole Nationale Supérieure des Arts et Industries de Strasbourg, 2004, 01-30 Juin

Stage: Formal methods for distributed real-time systems

Grenoble Ecole de Management, 2002, 01-30 Juin