Web Home

ISS
<div class="newsbar">
*[[WebEvents][Upcoming Events]]*

%INCLUDE{WebEvents}%
-----
*[[WebNews][News]]*

%INCLUDE{WebNews}%
-----
*[[Stc.WebHome][Colloquium]]*

%INCLUDE{Stc.SoftwareTechnologyColloquiumExcerpt}%
</div>
The _Center for Software Technology_ headed by [[Swierstra.WebHome][Doaitse Swierstra]] is part of the [[http://www.cs.uu.nl][Department of Information and Computing Sciences ]] of [[http://www.uu.nl][Utrecht University]].

-----+++ Research

The center focuses its research on generic programming, compiler construction techniques, program analysis, program transformation and formal verification of distributed algorithms. 

   * [[Research program]]
   * [[Research projects]]
   * [[PublicationsByYear][Publications]]
   * [[Technical reports]]
   * [[SoftwareDistributions][Software]]
   * [[Research collaborations]]
   * [[Stc.WebHome][Software Technology Colloquium]]

------+++ Teaching

The center provides courses in the area of programming and programming methodology for the bachelor programs computer science and information science at Utrecht University. The center also organizes the Master Program Software Technology.

   * [[Master.WebHome][Master Program Software Technology]]
   * [[http://www.cs.uu.nl/education/][Curriculum of the Department]]

-------+++ People

The center employs some 20 faculty and Ph.D. students. The master program starts its fifth year
and now has almost 40 students over two years.

   * [[People][Faculty and staff]]
   * [[Students.WebHome][Master Students]]
   * [[MailingLists]]

<!--
   * Set PREV_SKIN = customtitle
   * Set CUSTOMHEADTITLE = Center for Software Technology
   * Set CUSTOMTOPICTITLE = <it>Center for Software Technology</it>
   * Set WEBTITLE = 
-->