Home My Page Projects

User Profile

Personal Information
User Id:1033
Login Name: blanqui
Real Name:
Frédéric Blanqui
Email Address: frederic.blanqui @nospam@ inria.fr
23 avenue d'Italie 75013 Paris
Bureau 3
Phone: 0139635266
Site Member Since: 2006-03-08 14:35
Diary and Notes
Diary/Note entries: 0

View Diary and Notes

Monitor this Diary

Project Information

This user is a member of the following projects:

CoLoR (Admin)

Coq Contribs (Contributor)

Coqine (Admin)

Dedukti (Admin)

Holide (Admin)

Rainbow (Admin)

SimSoC (Junior Developer)

SimSoC-Cert (Admin)