Students

Computer Science (joint degree)

2018-2019
Deze opleiding wordt aangeboden in het Engels. Sommige van de omschrijvingen zijn daarom mogelijk alleen in het Engels beschikbaar.

Computer Science studies the technology that has become ubiquitous in our global, connected society. Traditionally, the computer had been the primary object of study. Nowadays, globally distributed information processing services have taken center stage, with the Internet connecting a wide variety of information processing devices, ranging from mobile phones to data centers operated by the world leadership companies. 

The technical side of Computer Science deals with computer operations, like system software, computer networks, and programming environments. The theoretical foundations cover, for example, limits of what can be computed, computational efficiency, correctness, and the intricacies of concurrent execution. Software engineering studies construction and maintenance of large and often mission-critical software systems that need to be maintained by large teams of people. Because of its prominent role in everyday life, non-functional aspects of information technology are gaining importance in Computer Science, most notably the energy efficiency of data centers, and the security of computer systems. 

Info

Niveau Master
Taal Engels
Duur 2 years
Vorm Voltijd
Studiepunten 120 EC
Faculteit Faculteit der Bètawetenschappen
Joint degree
Deze opleiding wordt aangeboden in het Engels. Sommige van de omschrijvingen zijn daarom mogelijk alleen in het Engels beschikbaar.
Computer Science track Big Data Engineering
Computer Science track Big Data Engineering constrained choice
Computer Science track Big Data Engineering pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Computer Systems Security
Omschrijving
The Master track in Computer Systems Security focuses on system and
security issues related to operating systems, hardware and applications
(topics like hacking, malware, reverse engineering, vulnerabilities).
This specialization in Computer Systems Security is a joint effort by VU
Amsterdam and University of Amsterdam. The emphasis on system related
issues is what sets this track apart from other master programmes on
security, which tend to have a focus on formal methods or the math
behind cryptography. You’ll be taught by leading researchers in the
field of computer security. Many of the challenging courses have a very
hands-on character and you will pick up many advanced systems and
programming skills.

Students graduating in the Computer Systems Security specialization have
knowledge of

- security issues in system-level software including weaknesses and
defenses;
- static and dynamic analysis techniques for software (benign and
malicious);
- secure software development for modern computer systems
Computer Science track Computer Systems Security constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Foundations of Computing and Concurrency
Omschrijving
This track aims at Computer Science students with a general interest in
the application of formal methods in computing, concurrency and the
design and verification of software systems. Some theoretical
disciplines that play a central role are term rewriting, process
algebra, distributed algorithms and type theory. Foundational
disciplines include logic, recursion theory and complexity.

All these topics have a wide range of applications, of which we mention
just a few. Tools developed from process algebra are used in protocol
validation. Term rewriting is used in the execution of equational
specifications and lies at the basis of functional programming and the
analysis of infinitary processes. Distributed algorithms are of central
importance for the efficient use of concurrent systems. Logic and type
theory form the basis of proof checking, used in software verification.

In all of the above areas courses are offered. To mention a few
examples: Distributed Algorithms, Logical Verification, Protocol
Validation, Term Rewriting Systems, Concurrency Theory, Advanced Logic.
The programme can be enhanced by choosing one or more
appropriate mathematics courses.

Note: Every programme, including the choice of optional courses, has to
be discussed and agreed upon with the master coordinator or a personal
mentor and approved by the Examination Board.

Master Coordinator:

dr. F. van Raamsdonk
K room T-446
T +31 (0) 20 598 7710
E f.van.raamsdonk@vu.nl
Computer Science track Foundations of Computing & Concurrency year 1 constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Internet & Web Technology
Omschrijving
The Internet and the World Wide Web play an ever more central role in
our society. This specialisation is concerned with large-scale computer
systems, especially computer networks and the Internet. Important topics
are: Internet and Web protocols, distributed systems, network security,
development tools for network applications, peer-to-peer technology,
etc.

Note: Every programme, including the choice of optional courses, has to
be discussed and agreed upon with the master coordinator or a personal
mentor and approved by the Examination Board.

Master Coordinator:

dr. S. Voulgaris
K room R-447
T +31 (0) 20 598 3715
E spyros.voulgaris@vu.nl
Computer Science track Internet & Web Technology constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Parallel Computing Systems
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Parallel Computing Systems constrained choice
Computer Science track Software Engineering and Green IT
Omschrijving
Some people define software engineering as: 'the application of a
systematic, quantifiable approach to the development, execution, and
maintenance of software. It is a broad and comprehensive field, in
which engineering plays an important part, next to psychological and
managerial aspects. Keywords are evolution and complexity.
The field continually evolves, as the type of systems as well as the
world at large changes. New developments such as outsourcing, global
system development, service-orientation and the incorporation of off-
the-shelf software profoundly influence the field.

Note: Every programme, including the choice of optional courses, has to
be discussed and agreed upon with the master coordinator or a personal
mentor and approved by the Examination Board.

Master Track Coordinator:

Prof.dr. P. Lago
K room T-422
T +31 (0) 20 59 87745
E p.lago@vu.nl
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Industrial Internship Ac. Year (sept) 6EC XM_405080
Business Process Management P1 6EC X_405115
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
Internet programming P1 6EC X_405082
Introduction to Computational Science P1 6EC XMU_418111
Knowledge and Media P1 6EC X_405065
Large Scale Data Engineering P1 6EC X_405116
Programming Large-scale Parallel Systems P1 6EC XM_40017
Protocol Validation P1 6EC X_400117
Service Oriented Design P1 6EC X_405061
Software Asset Management P1 6EC X_400412
Lambda Calculus P1+2 6EC XMU_418108
Concurrency Theory P2 6EC XMU_0012
Hardware Security P2 6EC XM_40019
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Developing Services for the Cloud P3 6EC X_405074
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Business Process Analytics P4 6EC X_400650
Information Visualization P4 6EC XMU_418143
Performance of Networked Systems P4 6EC X_405105
Programming Multi-core and Many-core Systems P4 6EC XMU_40018
Term Rewriting Systems P4 6EC XM_400121
The Social Web P4 6EC X_405086
Binary and Malware Analysis P5 6EC X_405100
Data Mining Techniques P5 6EC X_400108
Distributed Algorithms P5 6EC X_400211
ICT4D: Information and communication technology for Development P5 6EC X_405101
Performance Engineering P5 6EC XMU_40016
Software Testing P5 6EC X_400439
Web Services and Cloud-based Systems P5 6EC XMU_418110
Android Lab P5+6 6EC XM_40011
ICT4D in the field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Business Process Management
P1 | 6EC | X_405115
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
Internet programming
P1 | 6EC | X_405082
Introduction to Computational Science
P1 | 6EC | XMU_418111
Knowledge and Media
P1 | 6EC | X_405065
Large Scale Data Engineering
P1 | 6EC | X_405116
Programming Large-scale Parallel Systems
P1 | 6EC | XM_40017
Protocol Validation
P1 | 6EC | X_400117
Service Oriented Design
P1 | 6EC | X_405061
Software Asset Management
P1 | 6EC | X_400412
Lambda Calculus
P1+2 | 6EC | XMU_418108
Concurrency Theory
P2 | 6EC | XMU_0012
Hardware Security
P2 | 6EC | XM_40019
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Developing Services for the Cloud
P3 | 6EC | X_405074
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Business Process Analytics
P4 | 6EC | X_400650
Information Visualization
P4 | 6EC | XMU_418143
Performance of Networked Systems
P4 | 6EC | X_405105
Programming Multi-core and Many-core Systems
P4 | 6EC | XMU_40018
Term Rewriting Systems
P4 | 6EC | XM_400121
The Social Web
P4 | 6EC | X_405086
Binary and Malware Analysis
P5 | 6EC | X_405100
Data Mining Techniques
P5 | 6EC | X_400108
Distributed Algorithms
P5 | 6EC | X_400211
ICT4D: Information and communication technology for Development
P5 | 6EC | X_405101
Performance Engineering
P5 | 6EC | XMU_40016
Software Testing
P5 | 6EC | X_400439
Web Services and Cloud-based Systems
P5 | 6EC | XMU_418110
Android Lab
P5+6 | 6EC | XM_40011
ICT4D in the field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Computer Science track Software Engineering & Green IT constrained choice
Computer Science expired courses
Omschrijving
The course modules presented in the list below will no longer be offered
in academic year 2016-2017.