Organisations
Department of Mathematics - Computer Sciences University of Antwerp
Department of Computer Science KU Leuven
The Department of Computer Science consists of five units. Four of these are spread across eight locations in Flanders, with the focal point in Leuven at the Arenberg Campus: Distributed and Secure Software (DistriNet), Declarative Languages and Artificial Intelligence (DTAI), Human-Computer Interaction (HCI), and Numerical Analysis and Applied Mathematics (NUMA). The fifth unit is located at the Kulak Kortrijk Campus ...
Computer Science, Kulak Kortrijk Campus KU Leuven
Research topics of this unit are:
- Computational Graph Theory
- Mathematical Modelling
- Discrete Optimisation
- Meta and Hyper Heuristics
- Algorithm Engineering
- Algorithms and Constraints
- Algorithms and Machine Learning
- Algorithms and Knowledge Representation
- Applications in Logistics, Production, Health care, Engineering, Physics, E-Learning, Bio-informatics
Department of Mathematics and Computer Science - other University of Antwerp
Applied Computer Science Lab Hasselt University
The EDM performs research in Information and Communication Technology (ICT), with a mind for possible applications in industry or society.
The core competence areas of EDM are:
- Visual Computing, with special attention to image and video based visualization, modeling, rendering and animation
- Human-Computer Interaction (HCI), investigating multi-modal interaction in 3D virtual environments, context-sensitive ...
Databases and Theoretical Computer Science Hasselt University
Computer Science Technology, Bruges Campus KU Leuven
Research topics of the unit are:
Test driven development of embedded software
Testing for Simultaneous software execution
Functional Security of Embedded Software
Resilience of Embedded Software in Interference-Sensitive Environments
Department of Computer Science - other University of Antwerp
Theoretical Computer Science Vrije Universiteit Brussel
Research theme: Applications of logic in computer science. Computer science can be regarded as ``applied logic''; from the level of hardware (circuits) up to sophisticated knowledge representation (e.g. nonmonotonic reasoning). Areas of interest include: 1. Modelling argumentation; 2. Nonmonotonic reasoning formalisms; 3. Formal specification and verification of complex software systems; 4. Logic programming semantics.