• Selma Lagerlöfs Vej

    9220 Aalborg Ø


Organization profile

Organisation profile

Head of Department
Jesper Kjeldskov

The department's research is directed at computers, computing, software and computer systems. The research approach encompasses the formally logical, the experimentally constructive, and the empirically descriptive.

Programming and programming languages constitute vital links between computers and human activity and the study hereof is fundamental. Computer science is concerned with how to carry out an efficient and qualitybased software development with design and implementation of formalized languages and with development and application of software development tools. Computer science is also in a broader sense concerned with development and utilization of information technology.

Computer science is engaged in, on the one hand, exploitation and development of the technical possibilities, e.g., utilization of parallelism in computer networks, and, on the other hand, development and adaptation of concrete systems and technologies to specific applications.
Computer science is related to mathematics, engineering, and to humanistic and social science disciplines.

The department is divided into three research units: 

  • Distributed, Embedded and Intelligent Systems
  • Database, Programming and Web Technologies
  • Human-Centered Computing

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Controllers Engineering & Materials Science
Robots Engineering & Materials Science
Model checking Engineering & Materials Science
Wind turbines Engineering & Materials Science
Semantics Engineering & Materials Science
Trajectories Engineering & Materials Science
Refrigeration Engineering & Materials Science
Experiments Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 1984 2023

Algorithmic Foundations for Data-Intensive Routing

Yang, B.


Project: Other

Astra: Analytics of Time series in spatial networks

Yang, B.


Project: Research

Research Output 1987 2019

AMIC: An Adaptive Information Theoretic Method to Identify Multi-Scale Temporal Correlations in Big Time Series Data

Ho, N. T. T., Vo, H., Vu, M. & Pedersen, T. B., 19 Mar 2019, (Accepted/In press) In : IEEE Transactions on Big Data.

Research output: Contribution to journalJournal articleResearchpeer-review


AMIDST: A Java toolbox for scalable probabilistic machine learning

Masegosa, A., Martinez, A. M., Ramos-López, D., Cabanas de Paz, R., Salmerón, A., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Jan 2019, In : Knowledge-Based Systems. 163, p. 595-597 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Learning systems
Message passing
Probability distributions
Machine learning
2 Citations (Scopus)
225 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Power converters
Model checking
Model predictive control
Power electronics


Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Recipient), 1 Aug 2007

Prize: Prizes, scholarships, distinctions

Ansøgning START midler (Quasimodo)

Brian Nielsen (Recipient), 1 Feb 2007

Prize: Prizes, scholarships, distinctions

Best Demo Award

Ove Andersen (Recipient) & Kristian Torp (Recipient), 7 Nov 2018

Prize: Prizes, scholarships, distinctions

Activities 1989 2018

1997 ACM SIGMOD International Conference on the Management of Data

Christian Søndergaard Jensen (Participant)
1 May 19973 May 1997

Activity: Attending an eventConference organisation or participation


Alexandre David (Organizer)
28 Jul 20081 Aug 2008

Activity: Attending an eventConference organisation or participation

1st International Conference on Runtime Verification : PC Member

Brian Nielsen (Organizer)
11 Jan 20104 Nov 2010

Activity: Attending an eventConference organisation or participation