Formal methods, Model checking, Specification, Verification, Programming languages, Software engineering, Distributed systems, Artificial intelligence |
Alberto Lluch Lafuente
|
Computer arithmetic |
Alberto Nannarelli
|
Digital shape modeling, digital shape representation, interactive 3D modeling, real-time rendering, computer graphics |
Andreas Bærentzen
|
Formal methods, specification languages, semantics, automated verification, railway applications |
Anne Haxthausen
|
Software engineering
|
Barbara Weber
|
Analysis of algorithms, complexity theory, randomized search heuristics, evolutionary algorithms |
Carsten Witt
|
Security, Distributed systems, Cybersecurity, Cyber physical systems, Sensor networks, Authentication, Identity management, Internet of things |
Christian D. Jensen
|
Software development, Software modelling, Model Based Software Engineering, Software development tools and technologies, Code generation, Software development process, Business process management, Mobile applications, Formal methods |
Ekkart Kindler
|
Static analysis, model checking, proactive security, process algebras, formal methods
|
Flemming Nielson |
Systems engineering, test and design for test, digital electronic systems |
Flemming Stassen
|
Formal methods, Static analysis, process calculi, proactive security |
Hanne Riis Nielson
|
Concurrency, formal specification, system development, systems engineering, software for space |
Hans Henrik Løvengreen
|
Formal Software Specification, Web services, Agile Software Development methods, Unified Modelling Language, Category theory, Institutions |
Hubert Baumeister
|
Algorithms, data structures, compression, approximation algorithms, graph algorithms |
Inge Li Gørtz
|
Personal informatics, Quantified self, Personal data, Human-Computer Interaction, Mobile/wearable computing, Data visualization |
Jakob Eg Larsen
|
Machine learning, data engineering, large scale information processing (audio and sensor) |
Lars Kai Hansen
|
Systems engineering, embedded systems, wireless sensor networks, multicore platforms, microfluidic lab-on-a-chip, biochips, computer-aided design, modeling, optimization, analysis |
Jan Madsen
|
Digital circuits and systems, asynchronous circuits, hardware platforms, multi-processors, application specific processors, networks-on-chips, low power, design methods, VLSI, FPGA technology |
Jens Sparsø
|
Computer graphics, digital image synthesis, realistic rendering, material appearance, light scattering |
Jeppe Revall Frisvad
|
Logic, artificial intelligence, Computational linguistics, Formal verification, Multi-agent systems |
Jørgen Villadsen
|
Medical image computing, Bayesian modeling |
Koen Van Leemput
|
Machine learning, data science, neuroimaging, digital media, signal processing, |
Lars Kai Hansen
|
Cryptology, IT-security, Cyber security, Digital signatures, Encryption, Authentication |
Christian D. Jensen
|
System development, system modelling, distributed systems, Web development, Mobile application development, Internet of things, CDIO |
Mads Nyborg
|
Real-Time Systems, Embedded Systems, Safety-Critical Systems, Time-predictable computer architecture, Real-Time Java |
Martin Schoeberl
|
Optimization, numerical methods, signals & systems, inverse problems, machine learning |
Martin Skovgaard Andersen
|
Formal methods, specification, verification, program construction, embedded systems, temporal logics |
Michael Reichhardt Hansen
|
Statistical modeling, inference, machine learning |
Mikkel N. Schmidt
|
Machine learning, Data science, Neuroimaging, Complex networks, Multiway data analysis |
Morten Mørup
|
Distributed computing, Security, Artificial intelligence |
Nicola Dragoni
|
Systems engineering, embedded systems, safety-critical systems, microfluidic lab-on-a-chip, biochips, computer-aided design, optimization, analysis |
Paul Pop
|
Algorithms, data structures, compression |
Philip Bille
|
Medical image computation, 3D human tracking, Surface reconstruction |
Rasmus R. Paulsen
|
Formal methods, security, security protocols, automated verification, abstract interpretation |
Sebastian Mödersheim
|
Social data, Complex networks |
Sune Lehmann Jørgensen
|
Logic, artificial intelligence, multi-agent systems, social intelligence, automated planning |
Thomas Bolander
|