|visits||member for||1 year, 10 months|
|seen||Jul 20 at 22:30|
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.
0 Votes Cast
This user has not cast any votes