Center?

Research Groups

Master Programs

Center

Page

Web

Wiki

Log In or Register

Web Home

ISS
Upcoming Events

September 30, 2007 Haskell Workshop

October 1 - 3, 2007 ICFP 2007

January 11, 2008 Dutch Functional Programming Day

News

ACM Technews

Colloquium

2011-09-29 Fr. BBL 071.
11:00 - 12:00, Levin Fritz, Balancing Cost and Precision of Approximate Type Inference in Python (thesis defense).

2011-08-26 Fr. BBL 071.
15:00 - 16:00, Jeiel Schalkwijk, Smart Regression Testing with T2 (thesis defense).

2011-08-25 Th. BBL 071.
12:00 - 13:00, Steven Keuchel, Generic Programming with Binders and Scope (thesis defense).
13:00 - 14:00, Remy Willems, Compiler Optimization for Databases Programming Language (thesis defense).

2011-08-24 We. BBL 071.
11:00 - 12:00, Dragos Ionita, Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language (thesis defense).
13:00 - 14:00, Christiaan Hees, Strategies for Directed Generation of Test Sequences (thesis defense).

2011-08-23 Tu. BBL 071.
11:00 - 12:00. Ales Sturala, Record-based Logging (thesis defense).

2011-08-22 Mo. BBL 071. Reserved for thesis defense. Available time: 9:00 - 13:00.

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.

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.

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.