TWiki Tip of the Day

Raw Text link
At the bottom of the page next to Edit and Attach , there is a Raw Text link that allows one to ... Read on

Paul Van Der Walt

Main

---++ 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: [[http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1011/Alunos][UMinho.pt]]
   * And now studies here as PhD student: [[https://www.inria.fr/en/centre/bordeaux][INRIA Sud-Ouest]]
   * His MSc thesis project (Reflection in Agda) can be browsed here: [[http://github.com/toothbrush/reflection-proofs][github]]
   * His personal page is here: [[http://www.denknerd.org][www.denknerd.org]]

</third person>

You should be able to contact me at %USERINFO{"%TOPIC%" format="$emails"}% (invisible if you're not logged in - try first name at my domain).

Main.UserForm
FirstName	Paul
LastName	van der Walt
OrganisationName
OrganisationURL	http://www.denknerd.org
Profession
Country	France
State
Address
Location
Telephone
VoIP
InstantMessaging (IM)
Email
HomePage
Comment

Edit personal data