Computer Science and Engineering

afstudeerrichting Information Security Technology

De bescherming van elektronische gegevens tegen allerlei soorten bedreigingen tijdens het opslaan of het verzenden ervan krijgt een steeds groter belang

Deze bedreigingen variëren van ongeautoriseerde toegang tot kwaadwillige manipulatie. Information Security Technology levert essentiële tools voor een veilige communicatie en bescherming van gegevens in vele omstandigheden.

Het is een fascinerend vakgebied met onderwerpen die uiteenlopen van cryptografische codes tot operating systemen, van protocolverificatie ondersteund door tools tot laboratoriumaanvallen op operating systemen.

afstudeerrichting Algorithms and Visualization

■Ontwerp en analyse van algoritmes en datastructuren

De groep Algoritmiek (ALG) doet fundamenteel onderzoek op dit gebied en focust op algoritmische problemen van ruimtelijke data. Ons onderzoek kan in vier nauw gerelateerde- en gedeeltelijk overlappende gebieden ingedeeld worden: computationele meetkunde; I/O-efficiënte algoritmes; graph drawing; algoritmes voor geografische informatiesystemen en geautomatiseerde cartografie

afstudeerrichting Information Systems

■De groep Architectuur van Informatiesystemen (AIS) onderzoekt methodes, technieken en tools voor ontwerp en analyse van procesbewuste informatiesystemen.

bv. systemen die bedrijfsprocessen (workflows) in organisaties ondersteunen. Hiervoor worden Formele Methoden gebruikt maar we zijn ook geïnteresseerd in modelleertalen die door de industrie gebruikt worden. We accepteren geen model als objectief startpunt: we proberen ook procesmodellen te ontdekken middels process mining en controleren de conformiteit van modellen gebaseerd op de realiteit.

afstudeerrichting Model-Driven Software Engineering

De MDSE groep bestaat uit de sectie Formal System Analysis en Software Engineering en Technology.

■De focus van de Formal System Analysis (FSA) groep ligt op modelleren en het controleren van het gedrag van systemen en programma's. Vanwege de complexiteit van het probleem valt het niet mee om correcte gedragsmodellen te verkrijgen en voor dat doel worden analyse technieken gebruikt. Deze worden allereerst gebruikt om fouten in het model te vinden en deze worden uiteindelijk toegepast om te laten zien dat het gemodelleerde gedrag aan alle eisen voldoet. De voornaamste onderzoeksactiviteit van deze groep is het verbeteren van de analysetechnieken.

■ De Software Engineering and Technology (SET) groep ontwikkelt methodes en tools voor een tijd- en kostenefficiënte evolutie van kwalitatief hoogwaardige softwaresystemen; van visie, tot ontwikkeling en onderhoud, tot uitfasering. SET ziet het belang van zowel legacysystemen als geavanceerde ontwikkelmethodologieën. De onderzoeksthema's zijn: theorie, methodes en tools voor model-driven software engineering; verified software engineering.

afstudeerrichting Security and Embedded Networked Systems

De Systeemarchitectuur en Netwerken (SAN) groep bestudeert de intelligente omgeving vanuit een aantal overlappende en nauw verbonden perspectieven:

samenwerkende gedistribueerde systemen, voorspelbare platforms; embedded computations.

■Netwerken en distributie vormen het hart van moderne ICT systemen. Waar oorspronkelijk embedded computer systemen alleen mechanica vervingen, zien we nu programmeerbare en communicerende elektronica in allerlei apparatuur om ons heen. De convergentie van networking, user interfaces en embedded computing wordt meestal een intelligente omgeving genoemd

honours-/excellence program Honors program CSE

The Honors program is aimed at excellent students from one of the Master programs.

The goal of the program is to give these students the opportunity to participate in and contribute to the research being done at the department. Concretely, the Honors program consists of:

• Two projects for 6 ects each, one in semester 1B of the Master program and one in semester 2A. These projects can be research-oriented or design-oriented and are done in different research groups in the department. The exact contents of the projects is determined by the supervisor of the research group where the project is done, in consultation with the student. The expected outcome of the project is a paper (published as a technical report of the department, and possibly also elsewhere).
• Beside the projects, the student participates in other activities of the research group (for example in research seminars) and is encouraged to participate in activities organized by one of the national Dutch research schools (ASCI, IPA, or SIKS). The latter activities are typically short courses or conferences.