User J. Ian Johnson

J. Ian Johnson

Member for 10 years, 6 months
Last seen more than 8 years ago

ccs.neu.edu/~ianj
Austin, TX

Network profile

Stats

101

reputation

reached

answers

questions

Communities

Stack Overflow

309
MathOverflow

101

About

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.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badge

Autobiographer

Oct 23, 2013

Posts

This user hasn’t posted yet.