{"id":3914,"date":"2023-11-17T19:42:42","date_gmt":"2023-11-17T18:42:42","guid":{"rendered":"https:\/\/www.uni.lu\/research-en\/?post_type=research-areas&p=3914"},"modified":"2026-05-07T08:03:28","modified_gmt":"2026-05-07T06:03:28","slug":"advanced-computing-systems","status":"publish","type":"research-areas","link":"https:\/\/www.uni.lu\/research-en\/research-areas\/advanced-computing-systems\/","title":{"rendered":"Advanced computing systems"},"content":{"rendered":"\n
\n
\n
\n \n
\n
\n<\/span>\n\n\n

\nDriving innovation in software and systems engineering<\/h1>\n<\/div>\n<\/header>\n
\n \n\"\"\n <\/figure>\n
\n
\n

We develop reliable, scalable solutions and processes meeting the growing complexity and increasing computing demands of ever-evolving technological landscapes.<\/p>\n\n\n

  • \n Research groups<\/a>\n<\/li>\n\n\n<\/ul>\n<\/div>\n<\/div>\n <\/div>\n<\/section><\/div>\n\n\n\n
    \n

    \nAbout<\/h2>\n\n\n\n

    The following professors and their teams contribute to this research area.<\/p>\n\n\n\n

    \n

    \n \n \n List of professors and their domains <\/span>\n\n <\/use><\/svg> <\/button>\n <\/h3>\n
    \n
    \n \n
    • \n
      \n \n

      \nPascal Bouvry<\/h4>\n
      \n \n \n <\/span>\n<\/div><\/header>
      \n
      \n \n
        \n
      • Discrete optimisation<\/li>\n\n\n\n
      • Distributed and parallel systems<\/li>\n\n\n\n
      • Game theory<\/li>\n\n\n\n
      • Artificial intelligence<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
      • \n
        \n \n

        \nGr\u00e9goire Danoy<\/h4>\n
        \n \n \n <\/span>\n<\/div><\/header>
        \n
        \n \n
          \n
        • Combinatorial and Multi-Objective Optimisation (exact, heuristic, and hybrid methods)<\/li>\n\n\n\n
        • Automated Algorithm Design and AI-driven Optimisation<\/li>\n\n\n\n
        • High-Performance and Parallel Computing for Optimisation<\/li>\n\n\n\n
        • Swarm Intelligence and Autonomous Unmanned Systems<\/li>\n\n\n\n
        • Multi-Agent and Distributed Machine Learning<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
        • \n
          \n \n

          \nThomas Engel<\/h4>\n
          \n \n \n <\/span>\n<\/div><\/header>
          \n
          \n \n
            \n
          • Applications of Graph Transformation Techniques<\/li>\n\n\n\n
          • Computer Networks<\/li>\n\n\n\n
          • Network and System Security<\/li>\n\n\n\n
          • Network Forensics<\/li>\n\n\n\n
          • Platforms for Big Data Analysis and Machine Learning<\/li>\n\n\n\n
          • Security, Reliability and Privacy in Distributed Environments<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
          • \n
            \n \n

            \nMarko Rancic<\/h4>\n
            \n \n \n <\/span>\n<\/div><\/header>
            \n
            \n \n
              \n
            • Quantum algorithms<\/li>\n\n\n\n
            • Quantum hardware closely coupled to high-performance computing systems<\/li>\n\n\n\n
            • Early noisy quantum computers<\/li>\n\n\n\n
            • HPC emulation<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
            • \n
              \n \n

              \nSteffen Rothkugel<\/h4>\n
              \n \n \n <\/span>\n<\/div><\/header>
              \n
              \n \n
                \n
              • Document Engineering<\/li>\n\n\n\n
              • Interactive Distributed Systems<\/li>\n\n\n\n
              • Mobile and Ubiquitous Computing<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
              • \n
                \n \n

                \nUlrich Sorger<\/h4>\n
                \n \n \n <\/span>\n<\/div><\/header>
                \n
                \n \n
                  \n
                • Coding Theory<\/li>\n\n\n\n
                • Information Theory<\/li>\n\n\n\n
                • Transmission over Time Variant Channels<\/li>\n\n\n\n
                • Information Exchange.<\/li>\n<\/ul>\n<\/div><\/div><\/li>\n\n
                • \n
                  \n \n

                  \nNicolas Guelfi<\/h4>\n
                  \n \n \n <\/span>\n<\/div><\/header>
                  \n
                  \n \n

                  \u2022 Dependability
                  \u2022 Formal Methods
                  \u2022 Requirements Engineering
                  \u2022 Software Engineering<\/p>\n<\/div><\/div><\/li>\n\n

                • \n
                  \n \n

                  \nPierre Kelsen<\/h4>\n
                  \n \n \n <\/span>\n<\/div><\/header>
                  \n
                  \n \n

                  \u2022 Domain-Specific Modelling Languages
                  \u2022 Formal Methods
                  \u2022 Model-Driven Software Development<\/p>\n<\/div><\/div><\/li>\n\n

                • \n
                  \n \n

                  \nYves Le Traon<\/h4>\n
                  \n \n \n <\/span>\n<\/div><\/header>
                  \n
                  \n \n

                  \u2022 Automated implementation of security mechanisms
                  \u2022 Malware detection and prevention
                  \u2022 Model-Driven Security
                  \u2022 Big Data at Runtime
                  \u2022 Modelling at Runtime<\/p>\n<\/div><\/div><\/li>\n\n

                • \n
                  \n \n

                  \nNicolas Navet<\/h4>\n
                  \n \n \n <\/span>\n<\/div><\/header>
                  \n
                  \n \n

                  \u2022 Integration of Verification Activity into Model-Driven Engineering
                  \u2022 Probabilistic Risk Analysis
                  \u2022 Timing Verification of Real-time Systems<\/p>\n<\/div><\/div><\/li>\n\n

                • \n
                  \n \n

                  \nDenis Zampunieris<\/h4>\n
                  \n \n \n <\/span>\n<\/div><\/header>
                  \n
                  \n \n

                  \u2022 e-Learning
                  \u2022 Proactive Computing
                  \u2022 Proactive Engines<\/p>\n<\/div><\/div><\/li><\/ul>\n <\/div>\n <\/div>\n<\/div><\/div>\n<\/div><\/section>\n\n\n\n

                  \n

                  \nResearch groups<\/h3>\n\n\n
                    \n
                  • \n
                    \n
                    \n
                    \n \n
                    \n
                    \n \n\"\"\n <\/figure><\/div><\/div>
                    \n \n
                    <\/div>\n

                    \nCollaborative and Socio-Technical Systems<\/strong><\/strong> (COaST)<\/h3>\n