User Profile
Add Friend
Add Note
Track User
Send Message
Send V-Gift
mattamresearch's Journal
Created on 2008-01-14 19:13:34 (#14675328), never updated
0 comments received, 0 comments posted
Basic Account [Gift]
1 Journal Entry, 2 Tags, 0 Memories, 0 Virtual Gifts, 0 Userpics
Basic Info| Name: | mattam's research blog |
|---|---|
| Birthdate: | 1982 |
BioI'm a french PhD student in computer science, working on Coq and functional programming with dependent types.
My official website is here.
My official website is here.
ConnectInterests (3):
External Services:
 | mattamresearch@livejournal.com |
Friends [View Entries]
Communities [View Entries] Watching (3):
Feeds [View Entries] Watching (0)
