Computer Science MSc Vrije Universiteit Amsterdam - Faculteit der Exacte Wetenschappen - M Computer Science

Transcription

1 Computer Science MSc Vrije Universiteit Amsterdam M Computer Science Vrije Universiteit Amsterdam M Computer Science I

2 Studiegids informatie voor de masteropleiding Computer Science. Klik op de onderstaande links om informatie over de vakken te bekijken. Of download de volledige studiegids als pdf met de knop Maak pdf van gehele opleiding. Vrije Universiteit Amsterdam M Computer Science II

3 Inhoudsopgave Research variant Internet and Web Technology 1 Individuele vakken 1 CS Compulsory Optional Courses Software Engineering 1 Compulsory Optional Courses Theoretical Computer Science 2 Compulsory Optional Courses Mathematics 2 Optional Courses 2 Computer Science special course 3 Compulsory Optional Courses Software Engineering 3 Optional Courses 3 Compulsory Courses 4 Research variant High Performance Distributing Computing 4 Individuele vakken 5 Compulsory Optional Courses Theoretical Computer Science 5 Compulsory Optional Courses Mathematics 5 Computer Science special course 5 CSHPDC Minor Bioinformatica Compulsory Optional Courses 6 Compulsary Optional Courses Software Engineering 6 Optional Courses 7 CSHPDC Minor Bioinformatics 7 Compulsory Courses 8 Research variant Software Engineering 8 Individuele vakken 9 Compulsory Optional Courses Mathematics 9 Computer Science special course 9 Compulsory Optional Courses Theoretical Computer Science 10 Optional Courses 10 Compulsory Courses 10 Research variant Multimedia 11 Individuele vakken 12 Compulsory Optional Courses Mathematics 12 Computer Science special course 12 Verplichte keuze vakken Theoretical Computer Science 12 Keuzevakken 13 Compulsory Courses 13 Research variant Formal Methods Software Verification 13 Individuele vakken 14 Compulsory Optional Courses Theoretical Computer Science 14 Compulsory Optional Courses Mathematics 15 Computer Science special course 15 Verplichte keuze vakken TCS 15 CSFMSV Compulsory Choise Practical Work 16 CSFMSV Compulsory Optional Courses Software Engineering 16 CSFMSV Optional Courses 16 Vrije Universiteit Amsterdam M Computer Science III

4 Compulsory Courses Theoretical Computer Science 17 Research variant Technical Artificial Intelligence 17 Individuele vakken 18 Compulsory Optional Courses Mathematics 18 Computer Science special course 18 Compulsory Optional Courses Software Engineering 19 Compulsory Optional Courses Theoretical Computer Science 19 Optional Courses 19 CSTAI Compulsory Courses 19 Vak: Advanced Logic 20 Vak: Advances in Computer Architecture 20 Vak: Algorithms in Sequence Analysis 20 Vak: Automated Reasoning in AI 21 Vak: Behaviour Dynamics 22 Vak: Bioinformatics of Large Systems 22 Vak: Biosystems Data Analysis 24 Vak: Business Semantics Management 24 Vak: Cluster and Grid Computing 25 Vak: Coding and Cryptography 26 Vak: Computational Biology 26 Vak: Computational Finance 27 Vak: Computational Genomics and Proteomics 27 Vak: Computer and Network Security 27 Vak: Computer Graphics 28 Vak: Computer Networks Practical 29 Vak: Concurrency and Multithreading 30 Vak: Concurrent Systems 30 Vak: Core Logic 30 Vak: Data Mining Techniques 31 Vak: Developing Services for the Cloud 32 Vak: Distributed Algorithms 32 Vak: Distributed Systems 32 Vak: Evolutionary Computing 33 Vak: FEW individueel vak intern 34 Vak: Fundamentals of Bioinformatics 34 Vak: Genome Analysis 34 Vak: History and Philosophy of the Information Society 36 Vak: Intelligent Multimedia Technology 36 Vak: Intelligent Web Applications 37 Vak: Internet programming 37 Vak: Introduction to Lambda Calculus 38 Vak: Knowledge Management and Modeling 38 Vak: Literature Study 39 Vak: Master Project 40 Vak: Mini Master Project AI 41 Vrije Universiteit Amsterdam M Computer Science IV

5 Vak: Model Theory 41 Vak: Multimedia Authoring 41 Vak: Network Programming 42 Vak: Neurale Netwerken 42 Vak: Operating Systems 42 Vak: Operating Systems Practical 43 Vak: Parallel Programming 43 Vak: Parallel Programming Practical 44 Vak: Performance Analysis of Communication Networks 44 Vak: Probability and Statistics 45 Vak: Project Informatiekunde 46 Vak: Protocol Validation 46 Vak: Quantum Computing 46 Vak: Scientific Visualisation and Virtual Reality 46 Vak: Scientific Writing in English 47 Vak: Service Oriented Design 48 Vak: Software Architecture 49 Vak: Software Asset Management 50 Vak: Software Configuration Management 50 Vak: Software Mining 51 Vak: Software Project Management 52 Vak: Software Testing 53 Vak: Structural Bioinformatics 54 Vak: Term Rewriting Systems 54 Vak: Theory and Application of MultThreading 55 Vak: Voortgezette logica 55 Vrije Universiteit Amsterdam M Computer Science V

6 Research variant Internet and Web Technology It needs no saying that Internet and World Wide Web play an ever more central role in our society. This specialisation is concerned with largescale computer systems, especially computer networks and the Internet. Important topics are: Internet and Web protocols, distributed systems, network security, development tools for network applications, peertopeer technology, etc. The progamme consists of 120 credits compulsory courses 81 credits (including a Master Project of 36 credits) compulsory choices Software Engineering 6 credits compulsory choices Theoretical computer Science at least 6 credits compulsory choices Mathematics at least 3 credits optional courses Computer Science at least 6 credits optional courses 18 credits 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.ing. T. Kielmann K room P414 T +31 (0) E t.kielmann@few.vu.nl Opleidingsdelen: Individuele vakken CS Compulsory Optional Courses Software Engineering Compulsory Optional Courses Theoretical Computer Science Compulsory Optional Courses Mathematics Optional Courses Computer Science special course Compulsory Optional Courses Software Engineering Optional Courses Compulsory Courses Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 CS Compulsory Optional Courses Software Engineering Students need to select a total of 6 credits or more from the following list. Vrije Universiteit Amsterdam M Computer Science Pagina 1 van 56

7 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. Service Oriented Design Periode X_ Software Architecture Period X_ Software Configuration Management Period X_ Software Testing Period X_ Compulsory Optional Courses Theoretical Computer Science Compulsory choice Theoretical Computer Science at least 6 credits, recommended are the courses below. 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. Distributed Algorithms Period X_ Protocol Validation 6.0 X_ Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Optional Courses Each student is free to select optional courses from the master programme Computer Science for a total of 18 cp (IWT) or 30 cp (HPDC). One of the possibilities is the course below. Vrije Universiteit Amsterdam M Computer Science Pagina 2 van 56

8 For HPDC is another possibilities a Minor Bioinformatics of 24 credits, consisting of compulsory courses 18 credits compulsory optional course 6 credits Concurrency and Multithreading Computer Science special course Periode X_ Operating Systems Periode X_ This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Software Project Management Compulsory Optional Courses Software Engineering 6.0 X_ Compulsory choice Computer Science at least 6 credits, recommended are the courses below. 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. Optional Courses Coding and Cryptography Periode X_ Concurrency and Multithreading Periode X_ Distributed Algorithms Period X_ Operating Systems Periode X_ Parallel Programming Practical Periode X_ Protocol Validation 6.0 X_ Vrije Universiteit Amsterdam M Computer Science Pagina 3 van 56

9 Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode X_ Compulsory Courses Computer and Network Security Period X_ Distributed Systems Periode X_ History and Philosophy of the Information Society Period X_ Internet programming 6.0 X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Network Programming Periode X_ Parallel Programming Period X_ Research variant High Performance Distributing Computing High performance computing seeks to solve computing problems as fast and as efficiently as possible. The most important approach is to use a (large) number of computers instead of one, and let these computers work together, in parallel. In clusters and grids, the computers are typically distributed across an organization (a university, for example), a country, or even the globe. This had led to the term "high performance distributed computing." The progamme consists of 120 credits compulsory courses 75 credits (including a Master Project of 36 credits) compulsory choices Software Engineering 6 credits compulsory choices Theoretical computer Science at least 6 credits compulsory choices Mathematics at least 3 credits optional courses 30 credits It is possible to fill the optional courses with a Minor Bioinformatics. 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.ing. T. Kielmann K room P414 T +31 (0) E t.kielmann@few.vu.nl Opleidingsdelen: Vrije Universiteit Amsterdam M Computer Science Pagina 4 van 56

10 Individuele vakken Compulsory Optional Courses Theoretical Computer Science Compulsory Optional Courses Mathematics Computer Science special course CSHPDC Minor Bioinformatica Compulsory Optional Courses Compulsary Optional Courses Software Engineering Optional Courses CSHPDC Minor Bioinformatics Compulsory Courses Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 Compulsory Optional Courses Theoretical Computer Science Compulsory choice Theoretical Computer Science at least 6 credits, recommended are the courses below. 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. Distributed Algorithms Period X_ Protocol Validation 6.0 X_ Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Computer Science special course Vrije Universiteit Amsterdam M Computer Science Pagina 5 van 56

11 This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Software Project Management 6.0 X_ CSHPDC Minor Bioinformatica Compulsory Optional Courses Compulsory optional courses, choose one of the courses in the list below. 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. Biosystems Data Analysis Periode X_ Computational Genomics and Proteomics Compulsary Optional Courses Software Engineering 6.0 X_ Genome Analysis Period X_ Structural Bioinformatics Periode X_ Students need to select a total of 6 credits or more from the following list. 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. Service Oriented Design Periode X_ Software Architecture Period X_ Software Configuration Management Period X_ Software Testing Period X_ Vrije Universiteit Amsterdam M Computer Science Pagina 6 van 56

12 Optional Courses Advances in Computer Architecture Algorithms in Sequence Analysis Bioinformatics of Large Systems CSHPDC Minor Bioinformatics Periode X_ Periode X_ Periode X_ Biosystems Data Analysis Periode X_ Coding and Cryptography Periode X_ Computational Biology Periode X_ Computational Finance Period X_ Computer and Network Security Period X_ Computer Graphics Period X_ Computer Networks Practical Concurrency and Multithreading Periode X_ Periode X_ Concurrent Systems Period X_ Distributed Algorithms Period X_ Evolutionary Computing Period X_ Fundamentals of Bioinformatics Periode X_ Genome Analysis Period X_ Internet programming 6.0 X_ Operating Systems Periode X_ Operating Systems Practical Periode X_ Performance Analysis of Communication Networks Period X_ Protocol Validation 6.0 X_ Scientific Visualisation and Virtual Reality Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode 5 Period X_ X_ Structural Bioinformatics Periode X_ Each student is free to select optional courses from the master programme Computer Science for a total of 30 credits. One of the possibilities is a Minor Bioinformatics of 24 credits, Vrije Universiteit Amsterdam M Computer Science Pagina 7 van 56

13 consisting of compulsory courses 18 credits compulsory optional course 6 credits Below the compulsory courses. Algorithms in Sequence Analysis Bioinformatics of Large Systems Fundamentals of Bioinformatics Compulsory Courses Periode X_ Periode X_ Periode X_ Cluster and Grid Computing Period X_ Distributed Systems Periode X_ History and Philosophy of the Information Society Research variant Software Engineering Period X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Network Programming Periode X_ Parallel Programming Period X_ Parallel Programming Practical Periode X_ 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, serviceorientation and the incorporation of offtheshelf software profoundly influence the field. The progamme consists of 120 credits compulsory courses 90 credits (including a Master Project of 36 credits) compulsory choices Theoretical Computer Science at least 6 credits compulsory choices Mathematics at least 3 credits optional courses 21 credits Vrije Universiteit Amsterdam M Computer Science Pagina 8 van 56

14 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: Prof.dr. J.C. van Vliet K room U303 T +31 (0) E jc.van.vliet@few.vu.nl Opleidingsdelen: Individuele vakken Compulsory Optional Courses Mathematics Computer Science special course Compulsory Optional Courses Theoretical Computer Science Optional Courses Compulsory Courses Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Computer Science special course This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Vrije Universiteit Amsterdam M Computer Science Pagina 9 van 56

15 Software Project Management 6.0 X_ Compulsory Optional Courses Theoretical Computer Science Compulsory choice Theoretical Computer Science at least 6 credits, recommended are the courses below. 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. Distributed Algorithms Period X_ Protocol Validation 6.0 X_ Optional Courses Business Semantics Management Compulsory Courses Period X_ Coding and Cryptography Periode X_ Developing Services for the Cloud 6.0 X_ Distributed Algorithms Period X_ Internet programming 6.0 X_ Operating Systems Periode X_ Protocol Validation 6.0 X_ Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode 5 Software Project Management 3.0 X_ X_ Software Testing Period X_ Vrije Universiteit Amsterdam M Computer Science Pagina 10 van 56

16 Distributed Systems Periode X_ History and Philosophy of the Information Society Research variant Multimedia Period X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Project Informatiekunde Semester X_ Service Oriented Design Periode X_ Software Architecture Period X_ Software Asset Management Software Configuration Management Period X_ Period X_ Software Mining Period X_ Multimedia is a rapidly developing application and research area. Because of the arrival of broadband Internet we speak of digital convergence, the combination of formerly disjoint media, as in interactive television. Connected with the efficient use of multimedia is the rich palette of research questions in the field of authoring, information retrieval, human computer interaction, software architecture and 3Dgraphics. In the specialization Multimedia there is special attention for the use of 3D virtual environments for the disclosure of multimedia information. Depending on interest and expertise, authoring and design problems can have the focus, or more technical aspects in the field of software architecture communication and 3D graphics. In the specialization Multimedia there is special attention for the use of 3D virtual environments for the disclosure of multimedia information. The progamme consists of 120 credits compulsory courses 87 credits (including a Master Project of 36 credits) compulsory choices Mathematics at least 3 credits compulsory choices Theoretical computer Science at least 6 credits optional courses 27 credits 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: Prof.dr. A. Eliens K room T333 T +31 (0) E a.eliens@few.vu.nl Opleidingsdelen: Individuele vakken Compulsory Optional Courses Mathematics Computer Science special course Vrije Universiteit Amsterdam M Computer Science Pagina 11 van 56

17 Verplichte keuze vakken Theoretical Computer Science Keuzevakken Compulsory Courses Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Computer Science special course This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Software Project Management Verplichte keuze vakken Theoretical Computer Science 6.0 X_ Compulsory choice Theoretical Computer Science at least 6 credits, recommended are the courses below. 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. Vrije Universiteit Amsterdam M Computer Science Pagina 12 van 56

18 Distributed Algorithms Period X_ Protocol Validation 6.0 X_ Keuzevakken Coding and Cryptography Periode X_ Distributed Algorithms Period X_ Internet programming 6.0 X_ Protocol Validation 6.0 X_ Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode 5 Compulsory Courses 3.0 X_ Computer Graphics Period X_ Distributed Systems Periode X_ History and Philosophy of the Information Society Intelligent Multimedia Technology Period X_ Period X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Multimedia Authoring Periode X_ Software Architecture Period X_ Research variant Formal Methods Software Verification Because of the increasing complexity of software, the automatic verification of specifications becomes ever more important. Since the number of states of a system easily reaches astronomical proportions, complete testing is impossible and partial testing often insufficient. This is especially important for safetycritical or even lifecritical systems. This specialization is concerned with formal methods for the specification and verification of software systems. Three theoretical disciplines play a central role: term rewriting, process algebra and coinduction. Tools developed from process algebra are used in protocol Vrije Universiteit Amsterdam M Computer Science Pagina 13 van 56

19 validation. Term rewriting is used in the execution of equational specifications and lies at the basis of functional programming and proof checking. Coinduction is the prime method for analyzing infinitary processes. Furthermore, there are several verification methods originating from logic, like model checking, in which temporal logic is used, and type theory. Typical courses: Logical Verification, Protocol Validation, Term Rewriting Systems. The progamme consists of 120 credits compulsory courses 63 credits (including a Master Project of 36 credits) compulsory choices Software Engineering 6 credits compulsory choices Theoretical Computer Science at least 6 credits other compulsory choice 6 credits compulsory choices Mathematics at least 3 credits compulsory choices Practical work Computer Science at least 6 credits optional courses 30 credits 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. R.C. de Vrijer K room U341 T +31 (0) E rc.de.vrijer@few.vu.nl Opleidingsdelen: Individuele vakken Compulsory Optional Courses Theoretical Computer Science Compulsory Optional Courses Mathematics Computer Science special course Verplichte keuze vakken TCS CSFMSV Compulsory Choise Practical Work CSFMSV Compulsory Optional Courses Software Engineering CSFMSV Optional Courses Compulsory Courses Theoretical Computer Science Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 Compulsory Optional Courses Theoretical Computer Science Compulsory choice Theoretical Computer Science at least 6 credits, recommended are the courses below. Vrije Universiteit Amsterdam M Computer Science Pagina 14 van 56

20 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. Distributed Algorithms Period X_ Protocol Validation 6.0 X_ Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Computer Science special course This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Software Project Management Verplichte keuze vakken TCS 6.0 X_ Students need to select a total of 6 credits or more from the following list. 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. Vrije Universiteit Amsterdam M Computer Science Pagina 15 van 56

21 Computer and Network Security Period X_ Neurale Netwerken Periode X_ Quantum Computing Periode 4, Periode X_ CSFMSV Compulsory Choise Practical Work Compulsory choice Practical Work Computer Science at least 6 credits, recommended are the courses below. 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. Computer Networks Practical Periode X_ Network Programming Periode X_ Operating Systems Practical Periode X_ CSFMSV Compulsory Optional Courses Software Engineering Students need to select a total of 6 credits or more from the following list. 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. Service Oriented Design Periode X_ Software Architecture Period X_ Software Mining Period X_ CSFMSV Optional Courses Advanced Logic Periode X_ Coding and Cryptography Periode X_ Vrije Universiteit Amsterdam M Computer Science Pagina 16 van 56

22 Computer Networks Practical Periode X_ Core Logic Periode X_ Internet programming 6.0 X_ Introduction to Lambda Calculus Periode X_ Model Theory Periode X_ Network Programming Periode X_ Operating Systems Periode X_ Operating Systems Practical Periode X_ Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode 5 Theory and Application of MultThreading Compulsory Courses Theoretical Computer Science 3.0 X_ Periode X_ Voortgezette logica 4.0 X_ Distributed Systems Periode X_ History and Philosophy of the Information Society Period X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Term Rewriting Systems Period X_ Research variant Technical Artificial Intelligence In this specialization the realisation of intelligent computer programs is the central subject. Artificial intelligence uses a great number of techniques from computer science and also plays a part in the development of these techniques, often inspired by human cognition. In this programme the student can choose between the existing techniques. Analysing, modelling and implementing of human knowledge, leading to a computer program that can reason with symbolic representations of this knowledge is the subject of Knowledge Technology. In Knowledge Discovery and Data Mining the computer is used for recognition of structures in raw data, from which conclusions can be drawn. The progamme consists of 120 Ec compulsory courses 81 Ec (including a Master Project of 36 Ec) compulsory choices Software Engineering 6 Ec compulsory choices Mathematics at least 3 Ec compulsory choices Theoretical Computer Science at least 6 Ec optional courses 24 Ec Note: Every programme, including the choice of optional courses, has to be discussed and agreed upon with the master coordinator or a personal Vrije Universiteit Amsterdam M Computer Science Pagina 17 van 56

23 mentor and approved by the Examination Board. Master Coordinator: dr. M. Hoogendoorn K room T320a T +31 (0) E m.hoogendoorn@few.vu.nl Opleidingsdelen: Individuele vakken Compulsory Optional Courses Mathematics Computer Science special course Compulsory Optional Courses Software Engineering Compulsory Optional Courses Theoretical Computer Science Optional Courses CSTAI Compulsory Courses Individuele vakken FEW individueel vak intern 6.0 X_INDVAKI_09 Compulsory Optional Courses Mathematics Compulsory choice Mathematics at least 3 credits, recommended are the courses below. 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. Coding and Cryptography Periode X_ Probability and Statistics 4.0 X_ Computer Science special course This course is taught this year only at our University. Philippe Kruchten is Professor of Software Engineering at the University of British Columbia in Vancouver. He is worldfamous as the chief designer of the Rational Unified Process (RUP) and currently he is doing research on Agile Architectures. He will give this course specially for our Master Computer Science and Master Information Sciences students. Vrije Universiteit Amsterdam M Computer Science Pagina 18 van 56

24 Software Project Management Compulsory Optional Courses Software Engineering 6.0 X_ Students need to select a total of 6 credits or more from the following list. 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. Service Oriented Design Periode X_ Software Architecture Period X_ Software Mining Period X_ Compulsory Optional Courses Theoretical Computer Science Compulsory choice Theoretical Computer Science at least 6 credits, recommended is the course below. 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. Optional Courses Automated Reasoning in AI Period X_ Coding and Cryptography Periode X_ Data Mining Techniques Period X_ Internet programming 6.0 X_ Mini Master Project AI Ac. Year (September) 6.0 X_ Operating Systems Periode X_ Scientific Writing in English Periode 2, Periode 3, Periode 4, Periode 5 CSTAI Compulsory Courses 3.0 X_ Vrije Universiteit Amsterdam M Computer Science Pagina 19 van 56

25 Behaviour Dynamics Periode X_ Distributed Systems Periode X_ Evolutionary Computing Period X_ History and Philosophy of the Information Society Advanced Logic Period X_ Intelligent Web Applications Periode X_ Knowledge Management and Modeling Period X_ Literature Study Ac. Year (September) 6.0 X_ Master Project Ac. Year (September) 36.0 X_ Neurale Netwerken Periode X_ Vakcode X_ (405048) Periode Periode 4 Coördinator dr. R.D.A. Hendriks Docent(en) dr. R.D.A. Hendriks Lesmethode(n) Hoorcollege, Werkcollege Doelgroep maiktiia, maitli, maicvar, mcsfmsv Advances in Computer Architecture Vakcode X_ (418047) Periode Periode 2 Algorithms in Sequence Analysis Vakcode X_ (405050) Periode Periode 2 Coördinator prof. dr. J. Heringa Docent(en) prof. dr. J. Heringa Lesmethode(n) Hoorcollege, Werkcollege Vrije Universiteit Amsterdam M Computer Science Pagina 20 van 56

26 Inhoud vak Theory: Dynamic programming, database searching, pairwise and multiple alignment, probabilistic methods including hidden markov models, pattern matching, entropy measures, evolutionary models, and phylogeny. Practical: Programming own alignment algorithm based on dynamic programming Reverse translation and dynamic programming Homology searching and pattern recognition using biological and disease examples Multiple alignment of biological sequences Entropybased functional residues prediction Programming own implementation of Hidden Markov Models Onderwijsvorm 13 Lectures: 2 twohour lectures per week 6 computer practicals: two hours per week Literatuur Course material on bb.vu.nl Books: Durbin, R., Eddy, S.R., Krogh, A., Mitchison, G.. Biological Sequence Analysis. Cambridge University Press, 1998, 350 pp., ISBN Recommended reading: Marketa Zvelebil and Jeremy O. Baum Understanding Bioinformatics Garland Science 2008 ISBN10: Vereiste voorkennis Bachelor in any science discipline (including medicine). Basic programming skills and an interest in biological problems. Overige informatie Signing up via bb.vu.nl is mandatory. The course is taught in English. Automated Reasoning in AI Course code X_ (400389) Period Period 5 Language of tuition English Faculty Coordinator dr. K.S. Schlobach Teaching staff dr. A.C.M. ten Teije, dr. K.S. Schlobach Teaching method(s) Lecture, Seminar Course objective Since its early days Artificial Intelligence has employed logic as a mean to provide generic solutions for computationally and conceptually difficult practical problems. The aim of the course is to make the students familiar with a number of popular logic based representation and reasoning mechanisms for Artificial Intelligence. Furthermore, students should have the capability to transfer the learned techniques to other problems and to Vrije Universiteit Amsterdam M Computer Science Pagina 21 van 56

27 other representation mechanisms. Course content The course will be structured in three modules. In each of these modules a practical problem will be introduced, a logic based representation proposed, and the basic techniques for automated reasoning in this language studied in a practical, hands on, way. In a nutshell, we plan to cover: propositional Logic for scheduling, and satisfiability checking with Davis Putnam; Allen's interval logic for Planning, with constraint propagation in Temporal Constraint Networks; description logics for classification, with Tableau calculi for subsumption. Form of tuition In period 5 there will be lectures and practical sessions, plus significant time for self study and practical work. In period 6 there will be regular meetings to support for the work on a larger project. Type of assessment 3 practical assignments Course reading Selected scientific papers. Entry requirements Basic knowledge in logic is an advantage, but not required, as is some familiarity with programming. Target group mai Remarks For further information see the AR in AI blackboard site. Behaviour Dynamics Vakcode X_ (400113) Periode Periode 1+2 Coördinator dr. O. Sharpanskykh Docent(en) dr. O. Sharpanskykh Lesmethode(n) Hoorcollege Doel vak To learn how to identify, specify and predict different types of behaviour; to understand how externally observable behaviour emerges from internal mechanisms; to be able to construct computational behavioural models and to perform analysis based on these models using software tools Bioinformatics of Large Systems Vrije Universiteit Amsterdam M Computer Science Pagina 22 van 56

28 Vakcode X_ (405063) Periode Periode 5 Doel vak A theoretical and practical bioinformatics course on computational methods in proteomics, genomics, gene regulation, signalling, microarray experiments, proteinprotein interactions, and datamining. Goals: At the end of the course, students will be aware of the issues, methodology and available bioinformatics tools, so to become a creative bioinformatics problem solver and tools creator. At the end of the course, students will have handson experience in handling large biological datasets. Inhoud vak Theory: proteomics (mass spectrometry), genomics, gene regulation, signalling, microarray experiments, proteinprotein interactions, and datamining, nextgeneration sequencing, pattern recognition, ontologies, and GRID computing, Petri nets. Practical: Assignment biological data clustering (in R) Assignment Gene regulation / Signalling network modelling using Petri nets. Assignment Pattern detection Assignment PPI networks Onderwijsvorm 13 Lectures (4 twohour lectures per week); 6 computer practicals (2 twohour sessions per week). Toetsvorm Assignment results and oral or written exam (depending on number of course students). Literatuur Course material on bb.vu.nl Marketa Zvelebil and Jeremy O. Baum Understanding Bioinformatics Garland Science 2008 ISBN10: Vereiste voorkennis Bachelor in any science discipline (including medicine), or thirdyear BSc students. Basic programming skills (R) and an interest in biological problems. Doelgroep mbio, mcshpdc Overige informatie Signing up via bb.vu.nl is mandatory. The course is taught in English. Vrije Universiteit Amsterdam M Computer Science Pagina 23 van 56

29 Biosystems Data Analysis Vakcode X_ (437001) Periode Periode 3 Business Semantics Management Course code X_ () Period Period 6 Credits 3.0 Language of tuition English Faculty Coordinator dr. P.G.M. De Leenheer Teaching staff dr. P.G.M. De Leenheer Teaching method(s) Lecture, Seminar Course objective The course Online Information systems is limited to the study of traditional "closed" information systems intended for a specific organization. The functional requirements are known beforehand and the meaning of business terms and rules are sufficiently clear and uniformly valid within the organizational context. This course broadens the concept of information system to "open" information system where "semantic interoperability" with its environment is a pain point. The origin of the problem lies in the fact that it is not known in advance with which systems in its environment and according to what policies and rules an open system must be able to exchange information. To support semantic interoperability, system owners should agree on and standardise the meaning of business terms and rules among participating systems. Ontologies are dynamic models that capture the meaning of business terms and rules. Hence, they underpin solutions for semantic interoperability and many other semantic applications that are studied in the course Ontology Engineering. The purpose of this course is to learn the Business Semantics Management methodology that enables a business community to collaboratively define the meaning of their business vocabularies and rules (read: business semantics) in an ontology. Next, this ontology (formatted in ORM, RDF or UML) is validated in diverse informationtechnical contexts. By deriving ontologies from business semantics managed on a business level, the entropy in the numerous data translations between business and IT can be partly remedied. Course content Short recap of the Online Information Systems terminology. Introduction of the concept of "open information system" and the problem of "semantic interoperability ". Introduction of the relationship between "business semantics" and its derivative "ontology" to solve the problem of Vrije Universiteit Amsterdam M Computer Science Pagina 24 van 56

30 semantic interoperability on the technical level. Learning to handle the OMG SBVR ( standard and the Business Semantics Management methodology for building business vocabularies and rules in SBVR, and automatically deriving ontologies from them. Validate a variety of ontologies in diverse semantic applications. Form of tuition The red thread is a roleplaying game in which students form groups each representing a stakeholder organization in a business community. Using the webbased environment for Business Semantics Management, the community collaboratively defines an ontology that enables semantic interoperation between their information systems. This is done step by step by following the BSM methodology. First, a governance model that defined the roles and responsibilities for each of the stakeholders within the community is set. Next, the community determines which are the main terms for which a semantic agreement is necessary. This is followed by a reconciliation process resulting in a unified ontology that captures the meaning of these terms and their associated rules sets. This ontology is then validated by applying it in the community. Finally, we discuss possible extension points for the method and references to other courses such as ontology engineering. Every team conclude their findings in a written report. Type of assessment team project Course reading Lecture notes, exercises, and slides provided by the lecturer. A webbased software environment for BSM. Thematic papers that elaborate on selected topics. Recommended background knowledge Online informatiesystemen Target group mcsse, mis Cluster and Grid Computing Course code X_ (400362) Period Period 4 Language of tuition English Faculty Coordinator dr. ing. T. Kielmann Teaching staff dr. ing. T. Kielmann Teaching method(s) Lecture Course objective Students shall both explore the area of Cluster and Grid Computing and develop their skills in critical assessment of scientific literature. Course content Both Cluster and Grid computing are areas of rapid technical developments. Many technical developments are still in flux. We Vrije Universiteit Amsterdam M Computer Science Pagina 25 van 56

31 investigate resource management and scheduling, remote data access, network and other performance issues, as well as software architecture and programming models for grids. Form of tuition Introductory lecture, followed by a seminar part and practical programming assignments. In the seminar part, students explore topic areas of Cluster and Grid Computing in small groups, present their findings in a presentation session and prepare a report. The practical programming assignments are to be addressed individually. Type of assessment Both parts contribute 50% to the grade: (i) seminar presentation and report (ii) programming assignments Course reading Various research articles as available online. Entry requirements Parallel Programming (code ) Target group mpdcs, mcshpdc Remarks Participation in the course is limited; priority is given to students of the M. Sc. programme in Parallel and Distributed Computer Systems, and to students following the HPDC specialization of; the Msc in Computer Science. Registration for the course is required before the first lecture by sending to the lecturer; first come first serve. Coding and Cryptography Vakcode X_ (405041) Periode Periode 1 Coördinator prof. dr. R.M.H. de Jeu Docent(en) prof. dr. R.M.H. de Jeu Lesmethode(n) Hoorcollege Doel vak To give an introduction the theory of error correcting codes and to cryptography. Literatuur Will be announced in class Computational Biology Vakcode X_ (418044) Periode Periode 4 Vrije Universiteit Amsterdam M Computer Science Pagina 26 van 56

32 Computational Finance Course code X_ (418045) Period Period 4+5 Language of tuition English Faculty Teaching method(s) Lecture Course content The course description is available on: Target group mcshpdc Remarks Course registration is compulsory via before 2 August 2010 includes registration for the examination. Computational Genomics and Proteomics Vakcode X_ (400436) Coördinator prof. dr. J. Heringa Computer and Network Security Course code X_ (400127) Period Period 5 Language of tuition English Faculty Coordinator dr. ir. H.J. Bos Teaching staff dr. ir. H.J. Bos Teaching method(s) Lecture Course objective Introductory course on security with a scope that includes systems work. At the end of the course students will understand the basic notion of memory corruption attacks (buffer overflows, format strings, etc), SQL injection, crosssite scriting attacks, and other vectors Vrije Universiteit Amsterdam M Computer Science Pagina 27 van 56

33 used by computer hackers. Also, they will be able to understand and apply cryptography. Course content The course covers a wide spectrum of security issues. We explicitly aim wider than cryptography, as we want to show students how hackers penetrate systems. Part of the course will be handson: in lab assignments, student will carry out and investigate attacks in a controlled environment. This involves programming at the both the highest and lowest levels (say SQL and assembly). However, we will also discuss cryptography and trust infrastructures. Form of tuition Lectures and practical assignments Type of assessment Written exam (50%) and practical assignments (50%). Course reading No set book. All material will be made available during the course. Entry requirements No formal requirements, except a keen interest. Programming experience in C strongly recommended. Target group mcs, mpdcs Remarks Computer Graphics Course code X_ (400106) Period Period 2 Language of tuition English Faculty Coordinator dr. ing. T. Kielmann Teaching staff dr. ing. T. Kielmann Teaching method(s) Lecture Course objective The students shall get theoretical insights and practical knowledge that allows them to implement graphics applications and to understand how such applications get executed on current graphics hardware. Course content the course has a topdown structure, starting with the applications. Topics of the lecture are: graphics programming with OpenGL color, input, interaction transformations (translation, rotation, scaling, shear) 3dimensional viewing (projections, perspective) light and shading Vrije Universiteit Amsterdam M Computer Science Pagina 28 van 56

34 discrete techniques, buffers, texture mapping modeling (object hierarchies, scene graphs) advanced topics (curves and surfaces, programmable shaders) Form of tuition Class sessions consist of lecture elements and practical exercises. Towards the end of the course, an individual programming project will be done by which students apply what they have learned throughout the class. All programming exercises and the project will be based on OpenGL and the programming language Java. It is highly recommended that students bring their own laptop computer to the class sessions in order to perform the practical exercises. Type of assessment Written exam (code ) and programming project (code ). The project contributes 2/3 to the final grade. The exam contributes 1/3. Both parts need to be graded sufficient or better in order to get the credit points for the course Course reading Edward Angel, Interactive Computer Graphics, 5th edition. Addison Wesley. Entry requirements Project Programmeren (400559) Target group mcs, mpdcs Remarks The classes are given in period 2; the programming project is continued in period 3. Computer Networks Practical Vakcode X_ (405072) Periode Periode 5+6 Coördinator ir. M.P.H. Huntjens Docent(en) ir. M.P.H. Huntjens Lesmethode(n) Hoorcollege Onderwijsvorm Practical computer work Toetsvorm Practical computer work. Aanbevolen voorkennis Mandatory: Computer Networks (400487). Strongly recommended: Operating Systems (400011) Vrije Universiteit Amsterdam M Computer Science Pagina 29 van 56