101 reputation
3
bio website synchronicity.sourceforge.net
location
age 23
visits member for 3 years, 6 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,153 rep 11335
TeX - LaTeX 704 rep 416
Mathematics 265 rep 111
Emacs 242 rep 10
English Language & Usage 217 rep 28

3 Votes Cast

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