Organisations
Distributed and Secure Software (DistriNet) KU Leuven
Distributed and Secure Software (DistriNet)
Software Languages Lab Vrije Universiteit Brussel
The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB). Broadly speaking, the lab is active in the domains of software engineering and programming language engineering. It is our mission to design and implement better languages to support the software engineering life cycle. This includes programming languages, design languages, meta languages, modeling languages, domain ...
Computer Security and Industrial Cryptography (COSIC) KU Leuven
Research Group Computer Security and Industrial Cryptography
The COSIC research group offers a broad expertise in cybersecurity; based on this know-how it develops innovative security solutions that take into account both privacy and usability.
The COSIC research focuses on the design, evaluation and implementation of cryptographic algorithms and protocols, the development of security architectures for information and ...
ESAT - COSIC, Computer Security and Industrial Cryptography KU Leuven
Research Group Computer Security and Industrial Cryptography
The COSIC research group offers a broad expertise in cybersecurity; based on this know-how it develops innovative security solutions that take into account both privacy and usability.
The COSIC research focuses on the design, evaluation and implementation of cryptographic algorithms and protocols, the development of security architectures for information and ...
Location and Distribution Vrije Universiteit Brussel
The interest of the research unit is in optimal location problems, i.e. any question calling for the determination of the position of some objects in an optimal way with respect to the position of other fixed objects they will interact with. Such problems arise in regional and urban planning, private and public sector management, facility layout, production planning, supply chain management, statistics, data analysis, etc. The main emphasis ...
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 Technology, Ghent and Aalst Technology Campuses KU Leuven
MSEC-DistriNet is active in the domain of distributed applications with a major focus on software security technologies and software for next-generation Internet-of-Things environments. Research focuses on the design, development and analysis of advanced applications and software ecosystems, while closing the gap between academic research and industrial applications. The research group has gained expertise in many key technologies in the ...
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, ...