Paul Van Der Walt

About Paul

Paul was a student at Utrecht University. MSc Computing Science, finished early October 2012.

Paul does or has done some things which might be of interest:

• He's been to study here: UMinho.pt
• And now studies here as PhD? student: INRIA Sud-Ouest
• His MSc thesis project (Reflection in Agda) can be browsed here: github
• His personal page is here: www.denknerd.org

</third person>

You should be able to contact me at (invisible if you're not logged in - try first name at my domain).