101 reputation
3
bio website synchronicity.sourceforge.net
location
age 23
visits member for 3 years, 3 months
seen Jan 7 at 16:35

PhD Student at MIT CSAIL. Author of Create Synchronicity, YìXué Dictionary, and company-coq.


This user has no recent positive reputation changes
This user has not answered any questions
Stack Overflow 2,042 rep 1334
TeX - LaTeX 704 rep 415
Mathematics 271 rep 110
English Language & Usage 218 rep 28
Programmers 205 rep 13

3 Votes Cast

all time   by type  
3 up 1 question
0 down 2 answer