Goals and aims

Goals

The common goals for the specializations in the master’s programme in Computer Science are established in the course rules. Basically it comes to this: the master’s programme aims to combine a scientific mindset with specialist technical knowledge, enabling graduates to analyze, design, validate and implement state-of-the-art ICT systems in their operational context. Graduates of the master’s programme are trained to take a scientific, ethical and socially responsible approach to conducting and contributing to research in their specific area of study and to international trends in and related to their field of study. The master’s programme aims to offer an engaging and challenging, research-oriented academic environment, enabling students to:

-

acquire extensive knowledge and insight; develop their professional and scientific mindset by taking the initiative in and assuming responsibility for the learning process

-

develop an inquisitive and reflective attitude

-

understand and gain practical experience with methods and technologies for modeling and describing systems and their properties

-

acquire a knowledge of, understand and gain practical experience with taking stock of the requirements of ICT systems (i.e. technology, design, validation and implementation) and of promising alternatives, and take informed decisions

-

develop a constructively critical attitude in which decisions are substantiated and discussed

-

work as part of a team in applying and/or developing theories, methods, technologies and tools pertinent to the development of ICT systems in their operational context

-

gain practical experience working in complex, dynamic settings in which the information required is not always immediately available or complete

-

be encouraged by means of an engaging curriculum (involving case studies, research projects, and discussions about research, trends and literature relevant to the discipline) to follow the trends in their field and use this information as a guide for and incorporate it into their own personal development.

The master’s programme also aims to encourage students who have the necessary affinity with and demonstrated talent for scientific research to continue on to pursue doctoral research. The course rules state the following domain-specific goals for the CSC programme. The CSC master’s programme strives to achieve the aims described below.

The CSC master’s programme focuses on three themes:

-

development of ICT systems in their commercial context

-

technological aspects and applications of embedded systems

-

development process of sophisticated software systems

Students will acquire specialist knowledge in one of these areas. The CS master’s programme is designed for students with a thorough understanding of technology and of the functional and qualitative properties of systems and ability to evaluate and predict these properties and their context dependencies. System security, performance and efficiency are key areas of focus.

General scientific attainment levels

Graduates of the master’s programmes in the department of Computer Science will be able to meet the following scientific attainment targets:

a. Graduates have an extensive knowledge of and understand the issues relevant to their specific field of study (i.e. programme-specific attainment targets).

b. Graduates can contribute to scientific research, and independently design, conduct and present the results of small-scale research.

c. Graduates can provide an original contribution to the development and/or application of the field of study.

d. Graduates can analyse complex problems (change problems) relevant to the field of study and obtain the required knowledge and information.

e. Graduates can design, validate and implement solutions/systems in their operational context; identify and apply relevant advanced knowledge, methods and techniques from their field of study.

f. Graduates can assess solutions/systems and their applications according to their properties and potential to solve problems even if they are new to or unfamiliar with the situation or lack information and/or reliable information; they can use their assessment as a basis for (substantiation of) decisions.

g. Graduates understand the ethical, social, cultural and public aspects of problems and solutions in their field of study; apply this insight in their international role as scholar.

h. Graduates can work as part of and play a leading role in a team; manage and plan a development process; document development and research processes.

i. Graduates can substantiate research results, designs and applications in writing and verbally; critically assess and participate in debates regarding the same.

j. Graduates can independently acquire new knowledge and skills; reflect on trends in their field of study, responsibilities and roles and use this insight as a guide for and integrate it into their own personal development.

k. Graduates can integrate information from other disciplines into their own work if necessary.

l. Graduates take a critical approach to reading, incorporating information presented in and participating in debates regarding international scientific literature relevant to their field of study.

The word ‘original’ in c is understood to mean ‘demonstrative of a creative contribution’, and not ‘pioneering’.

Domain specific attainment targets Computer Science

MSc Computer Science Specialization Cyber Security

Cybsec 1: Graduates have a profound understanding of security and privacy risks and mitigations in Cyber Space and are able to model and evaluate these risks and mitigations.

Cybsec 2: Graduates have understanding and skills of applying the relevant foundations of cyber security, such as cryptography, formal methods, statistics, machine learning, and data analytics.

Cybsec 3: Graduates have understanding and skills of cyber security engineering methodologies in the small and in the large.

Cybsec 4: Graduates have insight into cross-disciplinary aspects of cyber security such as law, psychology, economics, governance, and management, and are able to read and understand basic texts from those domains and communicate with experts from those domains on cyber security.

Cybsec 5: Graduates have understanding and skills of methods and approaches for practical security evaluation of ICT systems such as penetration testing, risk assessment, and monitoring & analytics.

Cybsec 6: Graduates have specialist knowledge and understanding of one or more sub-fields or aspects of cyber security, typically acquired via research in the final year project.•Cybsec 7: Graduates have practical experience conducting scientific research into cyber security, contributing to such research, applying the results, following the trends of this sub-field and contributing to its further development.

MSc Computer Science Specialization Data Science and Smart Services

DS3.1. Graduates have thorough knowledge of, and are able to design solutions for, the

management of large volumes of structured and semi-structured data, including

sensor data, multimedia data, geographic data, and social data.

DS3.2. Graduates are able to analyze large volumes of generated data and make scientific

decisions based on such data sets.

DS3.3. Graduates have thorough knowledge of methods and techniques for the design and

analysis of smart services, including those applicable to all stages of an information

system's life cycle (requirement analysis, architecture design, realization and

maintenance).

DS3.4. Graduates are able to reason about the functionality-cost-risk trade-off in smart

services design, and to relate the trade-off to the data management and processes

performed by information systems.

DS3.5. Graduates have thorough knowledge of the subsystems that make up information

systems, such as workflow management systems, database management systems,

transaction processing monitors, and web technology systems, and the distribution of

these across organizational units and physical locations.

MSc Computer Science Specialization Methods and Tools Verification

MTV 1: graduates have a thorough knowledge of and understand the scope of formal methods as a scientific and design discipline.

MTV 2: graduates have a thorough knowledge of, understand and gain practical experience with the application of formal methods and tools in the development process of software, distributed and/or embedded systems.

MTV 3: graduates can apply formal methods and tools during system development on the basis of knowledge and insight, make an informed selection of these and contribute to their further development.

MTV 4: graduates have knowledge of and understand various aspects of theoretical computer science, including process algebra, proof systems and formal testing theory.

MTV 5: graduates have specialist knowledge and understanding of one or more sub-fields or aspects of the formal methods discipline, e.g. Process Algebra, Software Model Checking, Distributed Model Checking, Program Verification, Proof Systems, Testing, Quantitative Modelling and/or Analysis, Graph Transformations, Game Theory.

MTV 6: graduates have practical experience conducting scientific research into formal methods, contribute to such research, apply the results, follow the trends of this sub-field and contribute to its further development.

MSc Computer Science Specialization Software Technology

ST 1: graduates have a thorough knowledge and understanding of the different phases of the software lifecycle as a scientific and design discipline.

ST 2: graduates have a thorough knowledge and understanding of, as well as practical experience with, the application of software engineering methods and tools in the development large-scale systems.

ST 3: graduates know the trade-offs between alternative software engineering techniques and can make educated decisions throughout the software lifecycle.

ST 4: graduates have knowledge and understanding of various aspects of Software Engineering, such as its mathematical background, software management, quality assurance, requirements engineering, architectural design, detailed design, software construction and programming languages.

ST 5: graduates have specialist knowledge and understanding of one or more sub-fields or aspects of the software engineering discipline, e.g. Programming Languages, Software Composition, Service-Oriented Architectures, Model-Driven Engineering, Model Checking.

ST 6: ST graduates have specialist knowledge and understanding of the software requirements of one or more application areas, such as pervasive systems and network protocols, information systems, security.

ST 7: graduates have practical experience conducting scientific research in the realm of software engineering technologies, programming or design paradigms, or software engineering methods, enabling them to contribute to such research, follow the trends and apply the results.

Computer Science Specialization Wireless and Sensor Systems

WISE 1: graduates have knowledge and understanding of flexible and efficient communication. 

WISE 2: graduates have knowledge and understanding of distributed wireless systems.

WISE 3: graduates have knowledge and understanding of distributed data processing and reasoning.

WISE 4: graduates have the ability to demonstrate their comprehensive knowledge on principles of wireless and sensor systems

WISE 5: graduates have the ability to understand, analyze, and reason about system-wide aspects and interaction between the key principles of wireless and sensor systems

WISE 6: graduates have the ability to conduct scientific research in wireless and sensor systems and contributing to research in the field

WISE 7: graduates have the ability to apply their knowledge in system-wide context

Master of Science Telematics

M-TEL 1: graduates have thorough knowledge about and understanding of both wired and wireless communication devices, networks and systems, in terms of both key principles and contemporary technologies.

M-TEL 2: graduates can design and evaluate wired and wireless communication devices, networks and systems; in doing so, they can take into account both detailed aspects of the individual components, and system-wide aspects such as security and management.

M-TEL 3: graduates can quantitatively evaluate the performance of networked systems, and judge their formal correctness, using both analytical methods and computer tools.

M-TEL 4: graduates have practical experience conducting research and/or doing design work in a sub-field of networked systems, can follow trends in the field and contribute to its further development.