Algorithms and Logic. Person to contact: Paul Fischer
We develop methods for modelling problems such that they become accessible to solutions by a computer and we design and analyse the corresponding solution methods and the data structures for maintaining and searching the related data.
Cognitive Systems. Person to contact: Lars Kai Hansen
We research machine learning to help computers better understand digital environments. We develop mathematical models of adaptive learning systems. Our methods are used, e.g., in medical applications, in intelligent hearing aids, and for monitoring of complex machinery.
DTU Data Analysis. Person to contact: Bjarne Ersbøll
The basic purpose of the unit is to formalize this collaboration and contribute to even better research and public service sector consultancy at DTU. Moreover, DTU Data Analysis offers statistical consultancy for external partners (companies) and students through DTU Informatics Statistical Consulting Center (ISCC).
Embedded Systems Engineering. Person to contact: Jan Madsen
A particular focus of ESE is to use these competences for the design of embedded systems where close interaction between hardware and software components are necessary and where issues such as cost, timeliness, dependability, energy consumption, re-configurability and adaptability are often competing requirements.
Image Analysis and Computer Graphics. Person to contact: Rasmus Larsen
We develop methods for extracting physical properties using cameras and other imaging sensors such as medical 3D scanners. Furthermore, we develop visualisation and orther types of computer graphics. Exampes include quality sorting of food, cardiac disease diagnosis, and computer game visualisation.
Language Based Technology. Person to contact: Hanne Riis Nielson
The group focusses on modelling and analysis of information systems using language-based techniques and tools.
Mathematical Statistics. Person to contact: Per Brockhoff
We work with information technology with emphasis on data analysis. Data can be results from experiments, or other observed data. Based on the data mathematical models are developed with the purpose of characterization, or prediction. Examples are prediction of exchange rates, or power consumption.
Software engineering. Person to contact: Joseph Kiniry
We are working with methods, techniques and principles for the development of software systems, also towards areas like parallel, distributed, embedded and real-time systems. We consider program development as a modelling activity, and a main part of our research is headed towards mathematically well-founded modelling, construction, analysis and verification of software systems and components.
Scientific Computing. Person to contact: Per Christian Hansen
We develop software that is able to solve mathematical problems efficiently and accurately on a computer. And we use this software, e.g. for engineering design of microwave filters in a cell phone and for computation of the activity inside a vulcano.