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.
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional and enthusiast programmers
Q&A for academics and those enrolled in higher education
Q&A for computer enthusiasts and power users
Q&A for road warriors and seasoned travelers
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for people studying math at any level and professionals in related fields
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for students, researchers and practitioners of computer science
Q&A for speakers of other languages learning English