1 reputation
bio website ccs.neu.edu/~ianj
location Northeastern University, MA
age 27
visits member for 1 year, 8 months
seen Oct 28 '13 at 15:05

Ph.D. student in computer science with background in interactive theorem proving, hygienic macros, typed meta-programming and flow analysis.

This user has not answered any questions
This user has no recent reputation changes
This user has not asked any questions
This user has not participated in any tags

0 Votes Cast

This user has not cast any votes