I'm a PhD student in the PLSE lab at NUS.
My research focuses on applying techniques from programming languages to the verification and testing of distributed systems.
I am more generally interested in all aspects of programming languages and formal verification. My goal is to build better tools for developers and lower the barrier to engineering reliable software.
On weekends, I sing with The Crescendos and Acappella Anonymous.
darius.foo.tw at gmail