Students

Computer Science (joint degree)

2019-2020
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. 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 centres operated by leading global companies. The technical side of Computer Science deals with computer operations, like system software, computer networks, and programming environments. The theoretical foundations cover the limits of what can be computed, computational efficiency, correctness, and intricacies of concurrent execution.

Software engineering studies the 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 centres, and the security of computer systems. The programme is structured in specializations such as security, big data engineering, or software engineering, from which a student chooses one according to personal preference.

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
Omschrijving
This track concerns technology that underlies global data processing
infrastructures. Students acquire deep technical knowledge on data
science and on connecting the whole range from small company computer
clusters to data centers run by world-leading IT giants. As such
graduates are experts in computer systems for processing, analyzing, and
managing large quantities of data.

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.

Track Coordinator:

Dr. A. Belloum
a.s.z.belloum@uva.nl
Computer Science track Big Data Engineering constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
Computer Science track Computer Systems Security
Omschrijving
This track focuses on system and security issues related to operating
systems, hardware and applications (topics like hacking, malware,
reverse engineering, vulnerabilities). The emphasis is on system related
issues and many of the courses have a hands-on character and teach
advanced systems and programming skills. Students graduating in this
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.

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.

Track Coordinator:

Prof. Dr. H.J. Bos
h.j.bos@vu.nl
Computer Science track Computer Systems Security constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
Computer Science track Foundations of Computing and Concurrency
Omschrijving
This track focuses on 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.
These topics have a range of applications, of which we mention
a few. Tools developed from process algebra are used in protocol
validation. Term rewriting 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.

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.

Track Coordinator:

Dr. F. van Raamsdonk
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
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
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, and peer-to-peer technology.

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.

Track Coordinator:

Dr. J. Urbani
j.urbani@vu.nl
Computer Science track Internet & Web Technology constrained choice
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
Computer Science track Parallel Computing Systems
Omschrijving
This track concerns parallel system architecture, programming parallel
systems,
and performance optimization. Students acquire deep technical knowledge
on
all aspects of parallel computing systems, from hardware to software,
and the entire range of scales from laptops to compute servers, GPU
accelerators, heterogeneous systems and large-scale, high-performance
compute infrastructures. As such graduates are experts in many-core
programming.

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.

Track Coordinator:

Dr. J. Urbani
j.urbani@vu.nl
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
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.

Track Coordinator:

Prof. Dr. P. Lago
p.lago@vu.nl
Computer Science pre-approved elective courses
Naam vak Periode Credits Code
Individual Systems Practical Ac. Year (sept) 6EC XM_405088
Industrial Internship Ac. Year (sept) 6EC XM_405080
Advanced Operating Systems P1 6EC XM_40014
Computer and Network Security P1 6EC X_400127
Evolutionary Computing P1 6EC X_400111
Green Lab P1 6EC X_418158
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
Stochastic Optimization P1+2 6EC X_400336
Concurrency Theory P2 6EC XMU_0012
Distributed Systems P2 6EC X_400130
Hardware Security P2 6EC XM_40019
Internet Programming P2 6EC X_405082
Knowledge Engineering P2 6EC X_405099
Logical Verification P2 6EC X_400115
Performance of Networked Systems P2 6EC X_405105
Software Architecture P2 6EC X_400170
Web Data Processing Systems P2 6EC XM_40020
Parallel Programming Practical P2+3, P3 6EC X_400162
High Performance Computing and Big Data P3 6EC XMU_40013
Parallel System Architectures P3 6EC XMU_40015
Advanced Logic P4 6EC X_405048
Coding and Cryptography P4 6EC X_405041
Experimental Design and Data Analysis P4 6EC X_405078
Information Visualization P4 6EC XMU_418143
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
ICT4D in the Field P6 6EC XM_0008
Machine Learning for the Quantified Self P6 6EC XM_40012
Project Systems Testing P6 6EC X_405124
Individual Systems Practical
Ac. Year (sept) | 6EC | XM_405088
Industrial Internship
Ac. Year (sept) | 6EC | XM_405080
Advanced Operating Systems
P1 | 6EC | XM_40014
Computer and Network Security
P1 | 6EC | X_400127
Evolutionary Computing
P1 | 6EC | X_400111
Green Lab
P1 | 6EC | X_418158
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
Stochastic Optimization
P1+2 | 6EC | X_400336
Concurrency Theory
P2 | 6EC | XMU_0012
Distributed Systems
P2 | 6EC | X_400130
Hardware Security
P2 | 6EC | XM_40019
Internet Programming
P2 | 6EC | X_405082
Knowledge Engineering
P2 | 6EC | X_405099
Logical Verification
P2 | 6EC | X_400115
Performance of Networked Systems
P2 | 6EC | X_405105
Software Architecture
P2 | 6EC | X_400170
Web Data Processing Systems
P2 | 6EC | XM_40020
Parallel Programming Practical
P2+3, P3 | 6EC | X_400162
High Performance Computing and Big Data
P3 | 6EC | XMU_40013
Parallel System Architectures
P3 | 6EC | XMU_40015
Advanced Logic
P4 | 6EC | X_405048
Coding and Cryptography
P4 | 6EC | X_405041
Experimental Design and Data Analysis
P4 | 6EC | X_405078
Information Visualization
P4 | 6EC | XMU_418143
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
ICT4D in the Field
P6 | 6EC | XM_0008
Machine Learning for the Quantified Self
P6 | 6EC | XM_40012
Project Systems Testing
P6 | 6EC | X_405124
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
starting from the academic year 2016-2017.