ICT is omnipresent in modern society. The latest hardware and software developments are crucial in domains such as social media, security, health, energy, ICT systems, finance and telecom.
The programme focuses not only on the development of ICT systems in their commercial context, but also on technological aspects and applications of embedded systems. Development processes of sophisticated software systems are also crucial. You will be trained to combine a scientific mind-set with specialist technical knowledge, and to analyse, design, validate and implement state-of-the-art ICT systems in their operational context. You will engage in an in depth study of wireless and sensor systems, computer security and formal methods for reliability, while also focusing on more fundamental aspects of information technology, such as software engineering and information systems. In your second year, you will choose one of the five specializations. The programme combines highly specialized areas of computer science and will equip you with the tools you need to make a valuable and lasting contribution to this fascinating and challenging field. Your lecturers are renowned researchers who will share their latest insights with you. The job market remains vibrant for computer science professionals in R&D, IT management and IT consulting and some start an own business.
Types of teaching (in year 1):
Types of teaching (in year 2):
This programme has a workload of 120 ECTS.
Computer security professionals are in very high in demand due to the constant threat posed by all manner of viruses, data leaks and unauthorized access to proprietary networks The specialization will train you to be an expert in this field, ready to take on any challenge. ICT is playing an ever more important role in our society. However, as a side effect, our society is becoming increasingly vulnerable to the misuse of such systems. A large number of Windows computers are infected with viruses, privacy-leaks are commonplace on the internet, and highly sophisticated malware like Stuxnet is targeting industrial installations. This explains the growing interest in, and importance of computer security. The Kerckhoffsâs Computer Security specialization is designed to educate those who will take up leading positions in this field.
Wireless and Sensor Systems:
This specialization addresses a new paradigm for bringing the flexibility of information technology to bear in every aspect of daily life. The expectation is that people will soon be surrounded by embedded and flexible wireless networked systems that provide easily accessible yet unobtrusive support for an open-ended range of activities. These systems will enrich daily life and increase productivity at work. The systems contain a mixture of hardware and software. They may be as simple as a sensor, or as complex as a portable computing device. Components must work together seamlessly if these systems are to perform their tasks properly and efficiently, with the required functionality and support for real-time interactions. The specific nature of these systems require them to be open, scalable, adaptable and dependable, while integrating heterogeneous devices ranging from tiny actuators to powerful microprocessors. This specialization focuses not only on the fundamentals of wireless and sensor systems, but also on the context of sensor systems.
Information and Software Engineering:
This specialization focuses on the wide variety of information systems from healthcare databases to webshop portals. As a graduate of Information & Software Engineering, you will be an expert on all stages of an information system's lifecycle (requirement analysis, architecture design, realization and maintenance). The information systems of today's organizations manage large volumes of internal information, structured and sensor data, multimedia data and geographical information. Encompassing workflow, groupware, data warehouses and e-business processes, they are often distributed across organizational units and physical locations, and need to be adaptive, configurable and evolvable in order to cope with the dynamic context of their users. Software engineers for todayâs dynamic, distributed and decentralized information systems are able to combine and configure basic software components, such as database management systems, transaction processing monitors, workflow management systems and middleware. In short, they know how to define a system on which an organization can truly depend without leaving itself open to risks.
Methods and Tools for Verification:
Ever been puzzled by failure rates of a given system or network? This specialization helps you discover ways in which systems demonstrate erratic behaviour and to develop methods for eradicating bugs. âWhat is going on here? Why is this happening? Stupid machine! Argh!!!â Anyone who has ever programmed a non-trivial system has reached the point where they end up shouting at their computer like this. There are in fact a number of methods to discover why a system behaves (or misbehaves) as it does, and most of these methods are topics of ongoing research. If you want to learn more about these methods, then Methods & Tools for Verification is the Masterâs specialization for you. You will become acquainted with a broad range of formal verification and validation techniques and tools, and the theories that underpin them. Its unique approach combines a broad view of formal methods with an in-depth examination of how they work.
Producing high-quality software requires a thorough understanding of current technology, polished design and programming skills, and a comprehensive understanding of the various phases of software engineering. As if this wasnât enough, every domain of application has its own special features, languages and techniques. The specialization in Software Technology brings together courses that will teach you all of the above. You will become an expert in state-of-the-art technologies and software engineering phases, and gain specialist insight in your choice of application domains such as databases, wireless and embedded systems, security or cloud computing. In addition to your individual graduation project, you will also carry out an industrial team-based project focusing on a real-life problem. This specialization makes use of the expertise of an Industrial Advisory Board, which is made up of representatives from the region's foremost software-intensive high-tech companies. The board advises on the relevance of the curriculum, suggests improvements, submits interesting case studies and assignments, and provides guest lectures.
University of Twente Scholarship:
Accredited by: nvao in: The Netherlands