Schedule

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)
  required course
  Lecturers: Doaitse Swierstra, Eelco Visser, Jurriaan Hage, Wishnu Prasetya, Johan Jeuring

• Generic Programming
  Lecturer: Johan Jeuring

• High-Performance Compilers
  second (masters) year seminar
  Lecturer: Eelco Visser

Period 2 (November - December)

• Software Engineering
  Lecturers: Eelco Visser, Atze Dijkstra, Eelco Dolstra (required course)

• Automatic Program Analysis
  Lecturer: Jurriaan Hage

Period 3 (January - February)

• Software Architecture
  required course
  Lecturer: Atze Dijkstra, SERC

• Program Transformation
  Lecturer: Eelco Visser

Period 4 (March - April)

• Implementation of Programming Languages
  required course
  Lecturer: Atze Dijkstra

• Program Verification
  Lecturer: Wishnu Prasetya

• Internetprogramming
  Lecturer: Piet van Oostrum

Period 5 (May - June)

• Distributed Object Systems
  Lecturer: Piet van Oostrum

• Type Systems
  Lecturer: Doaitse Swierstra (+ Atze Dijkstra)