ľ¹Ï¸£ÀûÓ°ÊÓ

Research theme Programming with Dependent Types at the Software Technology Group in the Department of Information and Computing Sciences Utrecht

Research theme Software Understanding at the Software Technology Group in the Department of Information and Computing Sciences Utrecht

Projects of the Applied Data Science lab of the Organization and Information Group in the Department of Information and Computing Sciences Utrecht

Software and Tools created by the Center of Software Technologies

Projects of the Software Ecosystems lab of the Organization and Information Group in the Department of Information and Computing Sciences Utrecht

Research theme polyhedral meshes at the Computational Geometry Group in the Department of Information and Computing Sciences.

Research theme of Algorithms and Complexity

Research theme of Algorithms and Complexity

Research theme of Algorithms and Complexity

Research theme of Algorithms and Complexity

Projects of the Softwaretechnology Group in the Department of Information and Computing Sciences Utrecht

Research theme Compiler Technologies and Tools at the Softwaretechnology Group in the Department of Information and Computing Sciences Utrecht

Software and Tools (archive) created by the Center of Software Technologies

PhD projects at the Softwaretechnology Group in the Department of Information and Computing Sciences Utrecht

Research themes of the Business Process Management and Analytics group

Overview of the research themes

ormal verification is time consuming and requires specialist expertise

The software presented on this page has been written by members and previous members of the Software Technology Group.

People of the Applied Data Science lab.

Homepage of the Algorithmic Data Analysis research group (department of Information and Computing Sciences).