Richard Willie

I am a research assistant at the FOCS and PLSE labs at the National University of Singapore, where I work with Umang Mathur on programming language design and verification.

Verification is usually an afterthought. Languages and systems are designed for expressiveness or performance first, and the obligation to prove anything about them arrives later as someone else’s problem. The proof then has to work around a design that was not built to be reasoned about, and be redone whenever that design changes. I want to make verification a first-class concern from the start.