Department of Mathematics and Computer Science

TU/e is one of Europe's leading universities in science, engineering, and technology. It is located in Eindhoven, the centre of one of the most prominent high-tech regions in Europe. About 50% of the Dutch research & development takes place in this region, with enterprises like Philips, ASML, TNO, and with the High Tech Campus. Recently Eindhoven was chosen as a co-location for the Knowledge and Innovation Community for ICT of the European Institute of Innovation and Technology.The many contacts with industry result in internships for students and ample job opportunities for our graduates.

The department of Mathematics and Computer Science specializes in engineering science and technology and has close links with industry. With high level teaching and research, the department contributes to progress in the Mathematics and Computer Sciences and to the development of technological innovations. The department has strong alliances with leading universities in the world. The department offers high quality of education and research. Graduates have an excellent reputation and are offered attractive career opportunities.

The department of Mathematics and Computer Science has two divisions, the division of Mathematics and the division of Computer Science.

The department has two labs: LaQuSo (Laboratory for Quality Software), and LIME (Laboratory for Industrial Mathematics Eindhoven).

The research at the institute EURANDOM covers statistics, probability theory and stochastic operations research, as well as their applications and their interfaces with other disciplines.

From academic year 2011-2012 onwards there will be two TU/e Bachelor's programs conducted in the English language:Industrial DesignComputer Science and Engineering (Web science and Software science)

All other Bachelor's programs will continue to be conducted in the Dutch language

MSc
Computer Science and Engineering (CSE),

Business Information Systems (BIS), in cooperation with the Department of Industrial Engineering and Innovation Sciences (IE&IS),

Embedded Systems (ES), in cooperation with the Department of Electrical Engineering.

Master of Embedded Systems
The program of this Master program is placed on the design of efficient and reliable systems. A graduate of this program can define reliable protocols for the behaviour of complex software systems. This requires a knowledge of algorithms, performance, hardware, and design and documentation methods. Graduates have also an understanding in the variability and maintainability of these protocols.

Master of Business Information Systems
This Master program combines computer science and business management. The program places the emphasis on the development of high-quality information systems based on a business perspective. Graduates of this program will be able to understand the demands that are placed on information systems, and to initiate and implement new applications.

Master of Computer Science and Engineering
The emphasis in this Master program is placed on the design of high-quality software. Defining reliable protocols for the behaviour of complex software systems requires knowledge of algorithms, performance, hardware, and design and documentation methods.

Master of Computer Science and Engineering, specialized in Information Security TechnologyThis specialization is a collaboration between the computer science departments of the Eindhoven

University of Technology (TU/e), the University of Twente and the Radboud University Nijmegen. This special track addresses the significant and increasing need for experts in this area. Hardly any comparable Master's tracks exist in Europe. The track gives you a broad view of Information Security Technology, both theoretically and technically, taking into account organizational, legal and ethical aspects.

Honorsprogam Computer Science
Since 2009, the W&I Department runs a highly appreciated honors program. After one semester in the master program, the best master students are selected based on their study results in bachelor and master, and their (research)-motivation (they have to write a motivation letter). By following this program students explicitly get the possibility to explore, as a research assistant, their research ambition during two periods of twenty weeks each. They rotate this assistantship in at least two different research areas of their choice or at the laboratory LaQuSo. As a research assistant they will be involved in the running research projects. Moreover they can follow extra courses that are offered by the national research schools in which our department participates. Once they have chosen a specific research area, they will carry out their graduation project in that area. This can be seen as the first step towards their PhD or PDEng work. Successful honors students are guided either to a PhD-position at the research area of their choice, or to a PDEng-position.

The department’s computer scientists focus on two related and complementary themes: (1) Design methods and algorithmics for large-scale, reliable software systems and (2) Analysis of software systems. Within the first theme the focus is on the study of modeling and design methods for software components and their interactions, the interaction between complex software systems and their environment and on efficient algorithms which form the building blocks of such systems. Within the second theme the focus of research is on analysis techniques, such as verification, simulation and data and process mining. The emphasis in research is partially determined by its application in embedded systems and business information systems. The Computer Science sub-department consists of nine research chairs.

Expertise Group Algorithms (ALG)
The design and analysis of algorithms and data structures forms one of the core areas within computer science. The TU/e Algorithms Group performs fundamental research in this area, focusing on algorithmic problems for spatial data.

Expertise Group Formal Methods (FM)
Formal methods are mathematical techniques to support the engineering of software systems. We focus on algebraical and assertional techniques for the specification, verification and performance analysis of concurrent embedded software-intensive systems. The group is one of the international leaders in its area: in 2009 it organized the international Formal Methods Week, taking place once every ten years.

Expertise Group Software Engineering and Technology (SET)
SET's overall objective is the creation of methods and supporting tools for development and maintenance of reliable software. In order to master complexity and to enable verification and validation the methods have to be formal. To be cost effective, the methods have to be generic and support reuse and composition of designs, verifications and code. To be able to apply the methods to projects on a realistic scale, the methods have to be supported by a well-integrated set of tools.

Expertise Group Security (SEC)
Computer Security is a broad field with both technical and non-technical challenges. The research expertise of the SEC group covers mainly: trust management, privacy, security of embedded systems, physical aspects of computer security.

Expertise Group Design and Analysis of Systems (OAS)
The OAS group works on modeling and analyzing software. Software is becoming so complex that it is impossible to understand it, without appropriate mathematical modeling and analysis techniques. Our research is especially focused on the development of tools and techniques to enable the verification of large scale software applications, found in the embedded industrial domain.

Expertise Group System Architecture and Networking (SAN)
System Architecture and Networking concerns the domain of distributed systems. We study distributed systems, and in particular their software architecture, from the perspective of quality properties like performance. This concerns qualities experienced by end-users as well as by system integrators that compose distributed applications and developers that design components and subsystems.

Expertise Group Architecture of Information Systems (AIS)
The Architecture of Information Systems research group investigates methods, techniques and tools for the design and analysis of process-aware information systems, i.e., systems that support business processes (workflows) in organizations. We are not only interested in these information systems and their architecture, but also try to model and analyze the business processes and organizations they support. The research concentrates on formalisms for modeling and methods to discover and analyze models. On the one hand formal methods are being used, e.g., the group has a long tradition in Petri-net modeling and analysis. On the other hand, we are interested in modeling languages widely used in industry (EPCs, UML, BPMN, BPEL, etc.). In contrast to many other research groups we do not accept a model as an objective starting point, i.e., we also try to discover process models through process mining and check the conformance of models based on reality. The AIS group tries to make research results accessible by providing (open-source) software. Notable examples are ProM (process mining and process analysis) and YAWL (workflow management). These implementation efforts illustrate that the problems of tomorrow’s practice are the driving force behind the development of new theory, methods, and tools by AIS.

Expertise Group Databases and Hypermedia (DH)
The expertise group on Databases and Hypermedia (DH) studies basic technologies that are used to build modern information systems: databases, to store and manage information, and hypermedia, to provide access to the information. Since about 1996 the expertise group focuses on adaptive interfaces for multimedia information disclosure. Almost all information sources contain a wealth of information of which each user only wishes to view a small part. Adaptation, or automatic personalisation, must ensure that each user is guided (automatically) to the part that is relevant to him/her. Adaptive hypermedia is studied at the conceptual and the practical level: the former is done through the study of the Adaptive Hypermedia Application Model (AHAM), the latter through the development of the Adaptive Hypermedia Architecture (AHA!), a general-purpose web-based adaptive hypermedia system.

Expertise Group Visualization (VIS)
Data visualization concerns the use of interactive computer graphics to enable users to obtain insight in large amounts of data. We focus on the visualization of abstract data, such as tables, hierarchies, and networks, for applications ranging from software analysis to bioinformatics; scientific visualization, especially flow visualization; and desktop virtual reality.