1 reputation
bio website
location
age 27
visits member for 1 year, 10 months
seen Aug 5 '13 at 8:28

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.


This user has not answered any questions
This user has no recent reputation changes
This user has not asked any questions
This user has not participated in any tags
This user has not earned any badges

0 Votes Cast

This user has not cast any votes