Schedule

Master

This is the schedule for the master courses offered by the Software Technology program in the academic year 2002-2003. Note that it is possible to take some courses from other masters programs. Information will be provided when available. The links are to courses given in 2001-2002 as part of the old computer science program. Some courses are renamed and may change somewhat in content.

Period 1 (September - October)

   * Introduction to Software Technology (IST) <br> required course<br>Lecturers: Doaitse Swierstra, Eelco Visser, Jurriaan Hage, Wishnu Prasetya, Johan Jeuring

   * Generic Programming<br>Lecturer: Johan Jeuring

   * High-Performance Compilers<br>second (masters) year seminar<br> Lecturer: Eelco Visser

Period 2 (November - December)

   * Software Engineering<br>Lecturers: Eelco Visser, Atze Dijkstra, Eelco Dolstra (required course)

   * Automatic Program Analysis<br>Lecturer: Jurriaan Hage

Period 3 (January - February)

   * Software Architecture<br>required course<br>Lecturer: Atze Dijkstra, SERC

   * Program Transformation<br>Lecturer: Eelco Visser

Period 4 (March - April)

   * Implementation of Programming Languages<br>required course<br>Lecturer: Atze Dijkstra

   * Program Verification<br>Lecturer: Wishnu Prasetya

   * Internetprogramming<br>Lecturer: Piet van Oostrum

Period 5 (May - June)

   * Distributed Object Systems<br>Lecturer: Piet van Oostrum

   * Type Systems<br>Lecturer: Doaitse Swierstra (+ Atze Dijkstra)