WebHome
Jeroen Leeuwestein

Students
Name: Jeroen Leeuwestein
<br>
Email: jleeuwes@students.cs.uu.nl

----++ Planning


-----+++ 2006-2007

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week)

-----++++ Period 1

   * [[Master.Software Engineering][Software Engineering]]
   * [[Master.Distributed Object Systems][Distributed Object Systems]]

-----++++ Period 2

   * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]]
   * [[Master.Software Architecture][Software Architecture]] 
   
-----++++ Period 3

   * [[Master.Advanced Functional Programming][Advanced Functional Programming]]
   * [[Master.Program Verification][Program Verification]]

-----++++ Period 4

   * [[Master.Generic Programming][Generic Programming]]
   * Experimentation Project: [[http://save-endo.cs.uu.nl/][ICFP]]


----+++ 2007-2008

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (sporadically)
   * Board of [[http://www.a-eskwadraat.nl][Study Association A-Eskwadraat]]


-----+++ 2008-2009

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]

-----++++ Period 1

   * Seminar [[Master.DependentlyTypedProgramming][Dependently Typed Programming]]

-----++++ Period 2

   * Seminar [[Master.AdvancedCompilerConstruction][Advanced Compiler Construction]]