I'm Richard, currently a research assistant at PLSE & FOCS lab, National University of Singapore.
I'm endlessly fascinated by the big questions in theoretical computer science, the elegance of mathematics, and the craft of programming languages.
10000