Hi! I am Paul van der Walt, currently a PhD student at the Phoenix team of INRIA Bordeaux.
My work is on open programming platforms and how these might support verification. My interests (the marketable ones, anyway) include compilers, type theory, functional programming and recently software architectures and how they can be mapped to concrete, property-ensuring programming frameworks. Previously I studied computing science at the Utrecht University, where I did my thesis under Wouter Swierstra's supervision.
On this site you'll find a list of my recent work, as well as pointers to slightly more off-topic things such as my hobbies — being a geek, they're mostly to be found online.
Recent work
- Engineering Proof by Reflection in Agda
- Paul van der Walt and Wouter Swierstra. Article to be published in IFL 2012. [code] [bib]
- Reflection in Agda
- Paul van der Walt. M.Sc. thesis, 2012.
…or you can browse the complete list in the publications section.
Content
Contact
200 ave. Vieille Tour
33405 Talence Cedex
France
first.last@inria.fr