J. Ian Johnson

Austin, TX

ccs.neu.edu/~ianj

Age: 28

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.

Top Questions
No questions with score of 5 or more