Welcome to Master ProgramWelcome to Master ProgramComputing ScienceComputing Science

Study advisors: Ad Feelders and Study advisors: Ad Feelders and Wishnu PrasetyaWishnu Prasetya

Room {BBL-563,BBL-566}Room {BBL-563,BBL-566}

{ad,wishnu}@cs.uu.nl{ad,wishnu}@cs.uu.nl

February 4, 2011February 4, 2011

Study AdvisorsStudy Advisors

Wishnu PrasetyaWishnu Prasetya

(wishnu@cs.uu.nl)(wishnu@cs.uu.nl)

Ad FeeldersAd Feelders

(ad@cs.uu.nl)(ad@cs.uu.nl)

Research Groups Involved in Research Groups Involved in Computing ScienceComputing Science

Prof J. van Leeuwen: Algorithmic Systems Prof J. van Leeuwen: Algorithmic Systems Prof D. Swierstra: Software TechnologyProf D. Swierstra: Software Technology Prof L. van der Gaag: Decision Support SystemsProf L. van der Gaag: Decision Support Systems

Prof A. Siebes: Algorithmic Data AnalysisProf A. Siebes: Algorithmic Data Analysis

Jan van Leeuwen(program leader)

Linda van der Gaag Arno Siebes Doaitse Swierstra

OverviewOverview

2 Courses

2 Courses

2 Courses

2 Courses

2 Courses

Master Thesis

First Year Second Year

Courses: courses/projects/seminars

3

4

1

2

3

4

1

2

Study LinesStudy Lines Programming TechnologyProgramming Technology Algorithm Design and ComplexityAlgorithm Design and Complexity Algorithmic Data AnalysisAlgorithmic Data Analysis Advanced Planning and Decision MakingAdvanced Planning and Decision Making

A Study Line is a coherent set of courses providingA Study Line is a coherent set of courses providing

knowledge and skills for specific areas of knowledge and skills for specific areas of Computing Science.Computing Science.

Study Line: Programming Study Line: Programming TechnologyTechnology

Compiler Construction (3, 2010)Compiler Construction (3, 2010) Automatic Program Analysis (4, 2010)Automatic Program Analysis (4, 2010) Generic Programming (1,2011)Generic Programming (1,2011) Advanced Functional Programming (2,2011)Advanced Functional Programming (2,2011) Program Verification (3,2011)Program Verification (3,2011)

Between brackets: time period and academic yearBetween brackets: time period and academic year

of first opportunity to do a course.of first opportunity to do a course.

Study Line: Algorithm Design and Study Line: Algorithm Design and ComplexityComplexity

Algorithms and Networks (3,2010)Algorithms and Networks (3,2010) Simulation (3,2010)Simulation (3,2010) Algorithms, Games and the Internet Algorithms, Games and the Internet

(4,2010)(4,2010) Scheduling and Timetabling (4,2010)Scheduling and Timetabling (4,2010) Intelligent Agents (1,2011)Intelligent Agents (1,2011)

Study Line: Study Line: Algorithmic Data AnalysisAlgorithmic Data Analysis

Geographic Data Processing (4,2010)Geographic Data Processing (4,2010) Advanced Data Mining (1, 2011)Advanced Data Mining (1, 2011) Multimedia Retrieval (1, 2011)Multimedia Retrieval (1, 2011) Pattern Recognition (2, 2011)Pattern Recognition (2, 2011) Queries and Retrieval (2, 2011)Queries and Retrieval (2, 2011)

Study Line: Advanced Planning and Study Line: Advanced Planning and Decision MakingDecision Making

Algorithms and Networks (3, 2010)Algorithms and Networks (3, 2010) Simulation (3, 2010)Simulation (3, 2010) Scheduling and Timetabling (4, 2010)Scheduling and Timetabling (4, 2010) Probabilistic Reasoning (1, 2011)Probabilistic Reasoning (1, 2011) Evolutionary Computing (2, 2011)Evolutionary Computing (2, 2011)

Colloquium Computing ScienceColloquium Computing Science

Mandatory.Mandatory. Research talks by staff members, guests, Research talks by staff members, guests,

and students.and students. Attend at least 30 colloquia, give a talk and Attend at least 30 colloquia, give a talk and

write a (small) paper.write a (small) paper. Counts for 5 ECTS.Counts for 5 ECTS.

ElectivesElectives

Experimentation Project (max. 15 ECTS)Experimentation Project (max. 15 ECTS) Courses and seminars from the Computing Courses and seminars from the Computing

Science master program.Science master program. Courses from other Computer Science Courses from other Computer Science

master programs (TAI, GMT).master programs (TAI, GMT). Maximum of two courses (15 ECTS) from Maximum of two courses (15 ECTS) from

other (non-CS) master programs.other (non-CS) master programs. Independent study under supervision of a Independent study under supervision of a

staff member (Capita Selecta).staff member (Capita Selecta).

Experimentation ProjectExperimentation Project

Application of theory studied in one or Application of theory studied in one or more of the Computing Science courses.more of the Computing Science courses.

Typically involves the implementation of Typically involves the implementation of algorithms and the analysis of their algorithms and the analysis of their performance through experiments.performance through experiments.

Performed under supervision of a CS staff Performed under supervision of a CS staff member.member.

Examples: Examples:

Exact algorithms for the maximum Exact algorithms for the maximum independent set problem.independent set problem.

Learning distance functions for k nearest Learning distance functions for k nearest neighbour classifiers.neighbour classifiers.

Implementing a PHP parser in Haskell.Implementing a PHP parser in Haskell. Implementing a Java Bytecode utility.Implementing a Java Bytecode utility.

SeminarSeminar

We offer one or more research oriented We offer one or more research oriented seminar courses for Computing Science seminar courses for Computing Science students.students.

This year and next: This year and next: – Algorithms, Games and the Internet (4, 2010)Algorithms, Games and the Internet (4, 2010)– Functional Architectures (3, 2011)Functional Architectures (3, 2011)– PL Implementation / Type Checking (4, 2011)PL Implementation / Type Checking (4, 2011)

Deficiency CoursesDeficiency Courses

Two courses maximum.Two courses maximum. Depend on selection of study line.Depend on selection of study line. Examples:Examples:

- Functional ProgrammingFunctional Programming is required for Advanced is required for Advanced Functional Programming, Generic Programming, Functional Programming, Generic Programming, Compiler Construction, Program Verification.Compiler Construction, Program Verification.

- Languages and CompilersLanguages and Compilers is needed for Compiler is needed for Compiler Construction and Automatic Program Analysis.Construction and Automatic Program Analysis.

- AlgorithmicsAlgorithmics is required for Algorithms and is required for Algorithms and Networks.Networks.

Since these are Bachelor courses, they are taught in Since these are Bachelor courses, they are taught in Dutch, but study material is in English.Dutch, but study material is in English.

Overview of RequirementsOverview 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. ElectivesElectives Deficiency Courses (Max 2)Deficiency Courses (Max 2) Colloquium (Mandatory, 5 ECTS)Colloquium (Mandatory, 5 ECTS) 40 ECTS Master Thesis Project40 ECTS Master Thesis Project

– AcademicAcademic– IndustrialIndustrial

Study planStudy plan

Your study plan must be approved by a Your study plan must be approved by a study-advisor (Ad Feelders or Wishnu study-advisor (Ad Feelders or Wishnu Prasetya).Prasetya).

Template for study plan:Template for study plan:http://www.cs.uu.nl/wiki/Master/StudyPlan General information on Master CS:General information on Master CS:http://www.cs.uu.nl/wiki/CSMaster

HistoryHistory

Computing Science originated from the Computing Science originated from the fusion of Software Technology and Applied fusion of Software Technology and Applied Computing Science.Computing Science.

On On http://www.cs.uu.nl/education the “old” the “old” master programs are still listed.master programs are still listed.

Any course in the column ST or ACS can Any course in the column ST or ACS can be regarded as a Computing Science course.be regarded as a Computing Science course.

ExampleExample

Compiler Construction (A)Algorithms and Networks (C)

Automatic Program Analysis (D)Algorithms, Games & the Internet (A)

Generic ProgrammingAdvanced Data Mining

Advanced Functional ProgrammingExperimentation Project

Functional Architectures SEMProgram Verification

Master Thesis

First Year Second Year

Study Line: Programming TechnologyLetters between brackets are timeslots.

3

4

1

2

3

4

1

2

ExampleExample

Simulation (B)Algorithms and Networks (C)

Scheduling and Timetabling (D)Algorithms, Games & the Internet (A)

Intelligent AgentsProbabilistic Reasoning

Evolutionary ComputingQueries and Retrieval

Experimentation ProjectCapita Selecta

Master Thesis

First Year Second Year

Study Lines: Algorithm Design and Complexity andAdvanced Planning and Decision Making.

3

4

1

2

3

4

1

2

Questions?Questions?