Computer Science

related research

Computer Science research UT scores highest on quality and impact
Of the nine reviewed Dutch universities, UT is the only university with the highest scores on quality and relevance to society. Read full article.

Cyber Security

One research group at the University of Twente participates in the Cyber Security specialization:

  • Services, Cyber Security and Safety Research group (SCS)
    The goal of the SCS group is to develop methods and techniques for developing IT-based service levels with safety- and security levels, and to develop methods and techniques that make existing IT based services more secure. Our multidisciplinary research approach makes us unique and provides for a stimulating research environment for Master’s students. Read more….

Data science and smart services

Two research groups at the University of Twente participate in the Data Science and Smart Services specialization:

  • The goal of the SCS group is to develop methods and techniques for developing IT-based services levels with safety- and security levels, and to develop methods and techniques that make existing IT based services more secure.The multidisciplinary research approach of this group makes them unique and provides for a stimulating resarch environment for Master's students. Read more ..... 
  • The Databases (DB) group’s mission is to enable users to filter and retrieve relevant information, to reduce the unreliability of data, and to protect the security and privacy of data by extending database technology. Students work on big data, often many terabytes.

METHODS AND TOOLS FOR VERIFICATION

One research group at the University of Twente participates in the Methods and Tools for Verification specialization:

  • The research and education of the Formal Methods and Tools group aims at applying rigorous techniques to improve the quality of software-intensive systems by all means. To avoid errors, requirements specifications and early designs are scrutinized with powerful tools, such as model checkers and theorem provers. We also apply software verification at the level of source code or the generated byte-code. Even further down the line, an effective method to detect bugs is by applying systematic testing techniques. Read more….

SOFTWARE technology 

One research group at the University of Twente participate in the Software Technology specialization:

  • The research and education of the Formal Methods and Tools group aims at applying rigorous techniques to improve the quality of software-intensive systems by all means. To avoid errors, requirements specifications and early designs are scrutinized with powerful tools, such as model checkers and theorem provers. We also apply software verification at the level of source code or the generated byte-code. Even further down the line, an effective method to detect bugs is by applying systematic testing techniques. Read more….

WIRELESS AND SENSOR SYSTEMS

Three research groups at the University of Twente participate in the Wireless and Sensor Systems specialization:

  • The Pervasive Systems (PS) group investigates new distributed systems paradigms for bringing the flexibility of information technology to bear in every aspect of daily life. It foresees that people will be surrounded by embedded and flexibly (wirelessly) networked systems that provide easily accessible yet unobtrusive support for an open-ended range of activities, to enrich daily life and to increase productivity at work. Read more….
  • Computer Architecture for Embedded Systems (CAES): Energy-efficiency is the main drivers of our research. Energy-efficiency is important for streaming applications found in battery powered consumer devices (e.g. i-phones or portable multimedia players), for high-performance professional equipment, and is of crucial importance for wireless sensor networks. Read more….
  • A key challenge within Design and Analysis of Communication Systems (DACS) is to improve the dependability of communication networks and services. Projects within DACS generally focus on the internet, mobile and wireless networks, and system modeling and performance evaluation techniques. Read more….

DESIGN AND ANALYSIS OF COMMUNICATION SYSTEMS

One research group at the University of Twente participates in the Master Telematics, also related to Computer Science research.

A key challenge within Design and Analysis of Communication Systems (DACS) is to improve the dependability of communication networks and services. DACS projects generally focus on three areas:

INTERNET

Addressing security (intrusion detection) and other network management issues, through measurements and their interpretation.

MOBILE AND WIRELESS NETWORKS

The use of data communication to improve road safety and reduce traffic congestion by means of car-to-car communications.

SYSTEM MODELLING AND PERFORMANCE EVALUATION TECHNIQUES

Modelling and tool and algorithm development for the purpose of analysing models in the design phase of networks so that design alternatives can be compared.


Look also at the information about research within the Twente Graduate School

Chat offline (info)