I’m a PhD student in the PLSE lab at NUS.

My research focuses on new ways to specify and verify higher-order, effectful programs. I previously also worked on specification and testing techniques for 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.

Contact me at darius.foo.tw@gmail.com.