Home My Page Projects

User Profile

Personal Information
User Id:6161
Login Name: ohermant
Real Name:
Dr Olivier Hermant
Email Address: olivier.hermant @nospam@ inria.fr
Site Member Since: 2008-10-21 15:26
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:

Dedukti (Admin)

Rewriting Calculus (Senior Developer)