Field of interest: Computer Science & ICT
-
Research Groups
Cryptographic Protocols (CPRO)
Learn moreThe research group Cryptographic Protocols (CPRO), with members at the University of Luxembourg and the KASTEL Security Research Labs, focuses on the gap between cryptographic theory and real-world requirements.
-
Research Groups
Security and Trust of Software Systems (SaToSS)
Learn moreThe Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real–world security problems and trust issues.
-
Research Groups
Security and Networking Lab (SECAN-Lab)
Learn moreThe Security and Networking Lab (SECAN-Lab) group addresses both fundamental and applied research in computer networking, privacy, and security.
-
Research Groups
Computational Interaction
Learn moreThe Computational Interaction (COIN) group addresses both fundamental and applied research activities in human-computer interaction, machine learning, information retrieval and natural language processing.
-
-
Research Groups
Individual and Collective Reasoning (ICR)
Learn moreThe Individual and Collective Reasoning (ICR) group’s goal is to develop and investigate comprehensive formal models and computational realisations of individual and collective reasoning and rationality.
-
Research Groups
Foundation of Model-Driven Engineering (FMDE)
Learn moreThe Foundation of Model-Driven Engineering (FMDE) group is focused on the fundamentals of Model-Driven Engineering (MDE) and the applications thereof.
-
Research Groups
Collaborative and Socio-Technical Systems (COaST)
Learn moreWe are a multidisciplinary research group focusing on human-centric design and interaction in distributed and collaborative computer systems.
-
Research Groups
Big Data, Data Science and Databases
Learn moreThe Big Data, Data Science and Databases group focuses on information extraction & knowledge-base construction AIR and distributed dataflow engine based on asynchronous Iterative Routing.
-
Research Groups
Mathematics of Security
Learn moreThe main research activities of the team members concern the mathematics of cryptology.