Web Home

The Center for Software Technology headed by Doaitse Swierstra is part of the Department of Information and Computing Sciences of 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
• Publications
• Technical reports
• Software
• Research collaborations
• Software Technology Colloquium
• Reading Club

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 Program Software Technology
• 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.

• Faculty and staff
• Master Students
• MailingLists