I’m a postdoc in the PLSE lab at NUS, where I completed my PhD. My thesis was on relational verification of higher-order, effectful programs. I previously also worked on specifying and testing distributed systems.

I’m deeply interested in the use of formal methods to build better tools for developers and lower the barrier to engineering reliable software.

On weekends, I sing with The Crescendos and Acappella Anonymous. I also enjoy making games and writing interactive fiction.

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