Center For Software Technology

Master

The ST master program is offered by the [[Center.WebHome][Center for Software Technology]] of the [[http://www.cs.uu.nl][Institute for Information and Computing Sciences]] of [[http://www.uu.nl][Utrecht University]], headed by [[http://www.cs.uu.nl/people/doaitse][Prof.dr. Doaitse Swierstra]]. The research group focuses its [[Center.ResearchProjects][research]] on generic programming, compiler construction techniques, program analysis, program transformation and formal verification of distributed algorithms. The center collaborates with many Dutch companies located in the neighborhood, amongst which the Software Engineering Research Center (SERC), a not-for-profit research institute located on the university campus. Researchers of the center are all members of the Dutch research school IPA (Institute for Programming research and Algorithmics: http://www.win.tue.nl/ipa/). Members of the Center are involved in the international IFIP working group 2.1, and has intensive contacts with researchers from Oxford, Nottingham, the Kestrel research institute (USA), Chalmers (Gothenburg, Sweden), Bonn, New York University and Indiana.

The center forms part of the Institute for Information and Computer Science, which offers a broad range of courses covering most aspects of computer science. Besides the specific ST courses, students can also take some courses in other areas of computer science. Within the center students work together with staff on research projects in an informal, stimulating environment, in continuous contact with other Master and Ph.D. students. Students will get office space in the center and the center features a laboratory with modern computing equipment.

More information about the Center can be found on the web site: [[Center.WebHome][http://www.cs.uu.nl/groups/ST]].