|visits||member for||2 years, 5 months|
|seen||Feb 8 '14 at 21:21|
under-educated CS ex - student at the National University of Singapore. Tries to dick around with C, OCaml and Coq. Interested in PL, verification (and thus, Sep Logic) and interactions between these fields and embedded systems.
0 Votes Cast
This user has not cast any votes