Stack Exchange

J. Ian Johnson

Northeastern University, MA

ccs.neu.edu/~ianj

Age: 25

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

top accounts reputation activity favorites subscriptions
Top Questions
No questions with score of 5 or more
Top Answers