One research group at the University of Twente participates in the Cyber Security specialization: Services, Cyber Security and Safety Research group (SCS). Their goal 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.
Two research groups at the University of Twente participate in the Data Science and Technology specialization: Services, Cyber Security and Safety and Databases. 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.
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.
The research group Design and Analysis of Communication Systems at the University of Twente participates in the Master's in Internet Science & Technology, 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.
Also have a look at the information about research within the Twente Graduate School.