1 reputation
1

J. Ian Johnson

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.

Keeping a low profile.

This user hasn't posted... yet.

Badges (1)

Gold
Silver
Bronze 1

Rarest