I am a former PhD student in the Phoenix team at INRIA Bordeaux, having done my thesis work under the supervision of Charles Consel and Emilie Balland. My work, which started in November 2012, is based on the DiaSuite project. I defended my thesis on the 14th of December, 2015. Previously, my MSc thesis work was performed under Wouter Swierstra at Utrecht University. I think purple is great.

• 
• GPG: D712 1D73 A40A 7264 9E43 ED7D F284 6B1A 0D32 C442.
• Personal web page: denknerd.org.
• CV available on request.

• Software verification, security
• Information flow analysis
• Dependently typed programming, functional programming
• Programming languages, metaprogramming, Racket, Haskell

• A language-independent methodology for compiling declarations into open platform frameworks, Paul van der Walt, 2015, PhD thesis, Bordeaux. [code] [slides]
• Constraining application behaviour by generating languages, Paul van der Walt, ELS2015, London. [code] [slides]
• Frameworks compiled from declarations: a language-independent approach, Paul van der Walt, Charles Consel, Emilie Balland, 2015, manuscript. [code]
• Engineering Proof by Reflection in Agda, Paul van der Walt, Wouter Swierstra, IFL2012, Oxford. [code]

Page last modified on 19/Jan/2016.