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 academics and those enrolled in higher education
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional and enthusiast programmers
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for Ubuntu users and developers
Q&A for people who build and repair bicycles, people who train cycling, or commute on bicycles
Q&A for science fiction and fantasy enthusiasts
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 computer enthusiasts and power users
Q&A for road warriors and seasoned travelers
Q&A for speakers of other languages learning English
Q&A for students, researchers and practitioners of computer science