I'm a PhD student at the National University of Singapore.
My primary research interests are programming languages and formal verification, currently of concurrent, distributed, and effectful programs. I also dabble in static analysis, logic/constraint/answer set programming. 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