101 reputation
3
bio website synchronicity.sourceforge.net
location
age 23
visits member for 3 years, 5 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,109 rep 11334
TeX - LaTeX 704 rep 415
Mathematics 265 rep 110
English Language & Usage 217 rep 28
Emacs 212 rep 10

3 Votes Cast

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