Field of interest: Computer Science & ICT

  • Research Groups

    Cryptographic Protocols (CPRO)

    The 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.

    Learn more
  • Research Groups

    Security and Trust of Software Systems (SaToSS)

    The 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.

    Learn more
  • Research Groups

    Security and Networking Lab (SECAN-Lab)

    The Security and Networking Lab (SECAN-Lab) group addresses both fundamental and applied research in computer networking, privacy, and security.

    Learn more
  • Research Groups

    Computational Interaction

    The Computational Interaction (COIN) group addresses both fundamental and applied research activities in human-computer interaction, machine learning, information retrieval and natural language processing.

    Learn more
  • Research Groups

    Research

    Learn more
  • Research Groups

    Individual and Collective Reasoning (ICR)

    The 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.

    Learn more
  • Research Groups

    Foundation of Model-Driven Engineering (FMDE)

    The Foundation of Model-Driven Engineering (FMDE) group is focused on the fundamentals of Model-Driven Engineering (MDE) and the applications thereof.

    Learn more
  • Research Groups

    Collaborative and Socio-Technical Systems (COaST)

    We are a multidisciplinary research group focusing on human-centric design and interaction in distributed and collaborative computer systems.

    Learn more
  • Research Groups

    Big Data, Data Science and Databases

    The Big Data, Data Science and Databases group focuses on information extraction & knowledge-base construction AIR and distributed dataflow engine based on asynchronous Iterative Routing.

    Learn more
  • Research Groups

    Mathematics of Security 

    The main research activities of the team members concern the mathematics of cryptology.

    Learn more