Computer Science
De master Computer Science is een tweejarige opleiding. Je volgt een aantal verplichte basisvakken. Daarnaast kun je binnen deze master kiezen voor vier verschillende 'tracks': Computer Security, Embedded Computing Systems, Software Engineering en Information Systems Engineering. Binnen elk van deze tracks kun je je weer verder specialiseren.
Computer Security
Deze relatief nieuwe track bestaat sinds september 2006. Er wordt samengewerkt met Radboud Universiteit Nijmegen en de Technische Universiteit Eindhoven, wat betekent dat studenten die deze opleiding volgen soms een vak op een andere universiteit moeten doen. De opleiding bestaat uit een aantal verplichte vakken en een aantal keuzevakken. Deze track richt zich hoofdzakelijk op de beveiliging van computers.
Verplichte vakken
- Introduction to Computer Security (UT)
- Cryptography 1 (TU/e)
- Security in Organisations (RU)
- Verification of Security Protocols (TU/e)
- Software Security (RU)
- Network Security (UT)
Keuzevakken
- Biometric Recognition (UT)
- Secure Data Management (UT)
- Distributed Trust Management (UT)
- Crypto II(TU/e)
- Privacy Seminar (RU)
- Hacker's Shack (TU/e)
- Hardware and Operating Systems Security (RU)
- Seminar Information Security Technology (TU/e)
- TBA (RU)
Embedded Computing Systems
Deze track heeft raakvlakken met zowel de elektrotechniek als de informatica. De nadruk ligt op het ontwerpen van componenten in intelligente systemen. Deze componenten kunnen zowel hardware als software componenten zijn. Er wordt aandacht besteed aan de realtime respons en de betrouwbaarheid van zulke componenten.
Verplichte vakken
- Design of Digital Systems
- Signals and Transformations
- Instrumentation for Embedded Sytems
- Distributed Systems
Keuzevakken
- Graph Theory
- Hardware/Software co-design
- Telematics Networks
- Introduction to Mathematical System Theory
- Performance Evaluation 1
- Testing Techniques
- Physical Systems Modelling of Embedded Systems
- Ubiquitous Computing
- Algebra
- System Validation
Software Engineering
In deze track wordt de nadruk gelegd op het ontwikkelen van complexe software en de problemen die hierbij komen kijken. Software kan bijvoorbeeld te duur zijn, onbetrouwbaar, of te laat opgeleverd. Er wordt gebruik gemaakt van wetenschappelijke kennis en technieken zoals formele specificatie- en verificatietechnieken om deze software te verbeteren.
Vakken
Als basis moet je voor deze master 6 van de volgende vakken kiezen:
- Design of Software Architectures
- Graph theory
- Aspect oriented programming
- Problem analysis and solution requirements
- Specification of Information Systems
- Advanced logic
- System validation
- Algebra
- Deterministic Models in Operations Research
- Testing techniques
- Software management
Information Systems Engineering
Informatiesystemen zijn van groot belang voor organisaties. Deze systemen bevatten informatie over bijvoorbeeld gestructureerde gegevens, multimedia, groupware en workflow. In deze opleiding bestudeer je de analyse van systeemeisen, het ontwerp, de realisatie en het onderhoud voor zulke informatiesystemen.
Basisvakken
- Distributed Multimedia Databases 1
- Advanced Database Systems
- Data Warehousing & Data Mining
- Problem analysis and solution requirements
- Specification of Information Systems
- XML & Databases 1
- Database transactions and processes
- Electronic Commerce
- Advanced Requirements Engineering
- Secure Data Management
- Architecture of information systems