Organisations
Databases and Theoretical Computer Science Hasselt University
Central Information Technology Service Hasselt University
Particle Physics Group University of Antwerp
System and Software Engineering Laboratory Vrije Universiteit Brussel
There are two main lines of research in the group. The first one concerns integrated system development methodologies for distributed, reactive systems. Current research is on componential development, re-use, iteration, reverse and re-engineering. In this context, bridges are investigated between object oriented analysis and design formalisms (OMT/UML style), formal specification languages (SDL-92 style), and implementation languages (C, ...
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 ...
Digestive Oncology KU Leuven
Digestive Oncology
Faculty of Sciences Hasselt University
Informatics Section KU Leuven
- Study of declarative programming languages (logic & functional) and their applications. - Efficient implementation of declarative programming languages. - Development tools for declarative programming languages, incl. tools for program analysis, verification and transformation & tools based on abstract interpretation. - Knowledge representation & reasoning in logic programming, representation of open knowledge domains, ...