1 reputation
1
bio website ccs.neu.edu/~ianj
location Austin, TX
age 28
visits member for 1 year, 10 months
seen Jul 20 at 22:30

Ph.D. survivor in computer science with background in interactive theorem proving, hygienic macros, typed meta-programming and flow analysis. Currently a software engineer at LogicBlox.


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