93 reputation
bio website
age 27
visits member for 2 years, 11 months
seen Nov 30 '14 at 8:48

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

9 Votes Cast

all time   by type  
9 up 1 question
0 down 8 answer