101 reputation
3
bio website synchronicity.sourceforge.net
location
age 23
visits member for 3 years, 7 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,212 rep 11335
TeX - LaTeX 709 rep 416
Emacs 316 rep 12
Mathematics 265 rep 111
English Language & Usage 216 rep 28

3 Votes Cast

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