Welcome to Master Program Computing Science Study advisors: Ad Feelders and Wishnu Prasetya Room CGN-{A105,B120} September 3, 2010

Study Advisors Wishnu Prasetya Wishnu Prasetya Ad Feelders Ad Feelders

Research Groups Involved in Computing Science Prof J. van Leeuwen: Algorithmic Systems Prof J. van Leeuwen: Algorithmic Systems Prof D. Swierstra: Software Technology Prof D. Swierstra: Software Technology Prof L. van der Gaag: Decision Support Systems Prof L. van der Gaag: Decision Support Systems Prof A. Siebes: Algorithmic Data Analysis Prof A. Siebes: Algorithmic Data Analysis Jan van Leeuwen (program leader) Linda van der GaagArno SiebesDoaitse Swierstra

Overview 2 Courses Master Thesis Year 1Year 2

Study Lines Software Technology Software Technology Formal Methods and Program Analysis Formal Methods and Program Analysis Algorithm Design and Complexity Algorithm Design and Complexity Algorithmic Data Analysis Algorithmic Data Analysis Advanced Planning and Decision Making Advanced Planning and Decision Making A Study Line is a coherent set of courses providing knowledge and skills for specific areas of Computing Science.

Study Line: Software Technology Advanced Functional Programming (2C) Advanced Functional Programming (2C) Compiler Construction (3A) Compiler Construction (3A) Software Architecture (2D) Software Architecture (2D) Software Engineering (1D) Software Engineering (1D)

Study Line: Formal Methods and Program Analysis Advanced Functional Programming (2C) Advanced Functional Programming (2C) Automatic Program Analysis (4D) Automatic Program Analysis (4D) Generic Programming (1C) Generic Programming (1C) Program Verification (1B) Program Verification (1B)

Study Line: Algorithm Design and Complexity Algorithms and Networks (3C) Algorithms and Networks (3C) Algorithms, Games and the Internet (4A) Algorithms, Games and the Internet (4A) Intelligent Agents (1C) Intelligent Agents (1C) Scheduling and Timetabling (4D) Scheduling and Timetabling (4D) Simulation (3B) Simulation (3B)

Study Line: Algorithmic Data Analysis Advanced Data Mining (1B) Advanced Data Mining (1B) Multimedia Retrieval (1C) Multimedia Retrieval (1C) Pattern Recognition (2C) Pattern Recognition (2C) Queries and Retrieval (2A) Queries and Retrieval (2A)

Study Line: Advanced Planning and Decision Making Algorithms and Networks (3C) Algorithms and Networks (3C) Probabilistic Reasoning (1D) Probabilistic Reasoning (1D) Evolutionary Computing (2C) Evolutionary Computing (2C) Scheduling and Timetabling (4D) Scheduling and Timetabling (4D) Simulation (3B) Simulation (3B)

Colloquium Computing Science Mandatory. Mandatory. Research talks by staff members, guests, and students. Research talks by staff members, guests, and students. Attend at least 30 colloquia, give a talk and write a (small) paper. Attend at least 30 colloquia, give a talk and write a (small) paper. Counts for 5 ECTS. Counts for 5 ECTS.

Electives Courses and seminars from the Computing Science master program. Courses and seminars from the Computing Science master program. Courses from other Computer Science master programs (TAI, GMT). Courses from other Computer Science master programs (TAI, GMT). Maximum of two courses (15 ECTS) from other (non-CS) master programs. Maximum of two courses (15 ECTS) from other (non-CS) master programs. Independent study under supervision of a staff member (Capita Selecta). Independent study under supervision of a staff member (Capita Selecta). Experimentation Project (max. 15 ECTS) Experimentation Project (max. 15 ECTS)

Experimentation Project Application of theory studied in one or more of the Computing Science courses. Application of theory studied in one or more of the Computing Science courses. Typically involves the implementation of algorithms and the analysis of their performance through experiments. Typically involves the implementation of algorithms and the analysis of their performance through experiments. Performed under supervision of a CS staff member. Performed under supervision of a CS staff member.

Examples: Exact algorithms for the maximum independent set problem. Exact algorithms for the maximum independent set problem. Learning distance functions for k nearest neighbour classifiers. Learning distance functions for k nearest neighbour classifiers. Implementing a PHP parser in Haskell. Implementing a PHP parser in Haskell. Implementing a Java Bytecode utility. Implementing a Java Bytecode utility.

Seminar We offer one or more research oriented seminar courses for Computing Science students. We offer one or more research oriented seminar courses for Computing Science students. This year: This year: –Dependently Typed Programming –Algorithms, games and the internet

Deficiency Courses Two courses maximum. Two courses maximum. Depends on selection of study line. Depends on selection of study line. Examples: Examples: -Functional programming is required for advanced functional programming, generic programming, compiler construction, program verification. -Languages and Compilers is needed for compiler construction and automatic program analysis. -Algorithmics is required for algorithms and networks. Since these are Bachelor courses, they are taught in Dutch!

Overview of Requirements Select one or more study lines. Select one or more study lines. You can also propose your own study line. You can also propose your own study line. Electives Electives Deficiency Courses (Max 2) Deficiency Courses (Max 2) Colloquium (Mandatory, 5 ECTS) Colloquium (Mandatory, 5 ECTS) 40 ECTS Master Thesis Project 40 ECTS Master Thesis Project –Academic –Industrial

Studyplan Your studyplan must be approved by a study- advisor (Ad Feelders or Wishnu Prasetya). Your studyplan must be approved by a study- advisor (Ad Feelders or Wishnu Prasetya). Template for Studyplan: Template for Studyplan: General Information on Master CS: General Information on Master CS: Each student will get a Computing Science staff member assigned as a mentor. Each student will get a Computing Science staff member assigned as a mentor.

History Computing Science originated from the fusion of Software Technology and Applied Computing Science. Computing Science originated from the fusion of Software Technology and Applied Computing Science. On the “old” master programs are still listed. On the “old” master programs are still listed. Any course in the column ST or ACS can be regarded as a Computing Science course. Any course in the column ST or ACS can be regarded as a Computing Science course.

Questions?