J. Ian Johnsonless info
|location||Northeastern University, MA|
|visits||member for||4 months|
|seen||Oct 28 '13 at 15:05|
Ph.D. student in computer science with background in interactive theorem proving, hygienic macros, typed meta-programming and flow analysis.
0 Votes Cast
This user has not cast any votes