Find Academic Supervisors

Grégoire DANOY is a Researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability, and Trust (SnT) and Head of the Parallel Computing and Optimization Group (PCOG). He specializes in artificial intelligence, with a focus on optimization algorithms, machine learning, and swarm intelligence. His work addresses challenges in cloud computing, high-performance computing, smart mobility, and unmanned autonomous systems like drone swarms. He has authored over 150 publications, including articles in IEEE Transactions and conferences like NeurIPS and GECCO. He currently leads major projects such as UltraBO (€1.019M), ADHOC (€1.291M), and SERENITY (€1.228M), collaborating with institutions in France and Poland. Education: PhD in Computer Science (2008) from École Nationale Supérieure des Mines de Saint-Étienne, Master’s in Computer Science (2004), and Industrial Engineering Degree (2003) from Luxembourg University of Applied Sciences. Research Interests: Developing novel AI techniques for solving large-scale optimization problems, with applications in distributed systems, autonomous robotics, and federated learning. He emphasizes scalable solutions for combinatorial challenges using parallel computing and swarm intelligence. Grants & Projects: Principal Investigator for EU-funded initiatives like ADARS (2021–2024) and FNR PoC/SIMMS (2019–2021). His work bridges academia and industry, with technology transfer projects in autonomous robot swarms. Awards: Recognitions include the Best Student Paper Nomination (2022), IEEE CybConf Best Paper Award (2017), and ACM GECCO nominations (2016, 2009). He serves on the editorial board of Engineering Applications of Artificial Intelligence (EAAI). Labs & Teams: Leads the Parallel Computing and Optimization Group (PCOG), focusing on interdisciplinary research in AI and distributed systems. He also contributes to outreach programs like FNR's Researchers at School.

• Artificial Intelligence
• Optimization Algorithms
• Machine Learning
• +5 more

Alfredo Capozucca is a full permanent Researcher at the Department of Computer Science (DCS) within the Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg. He holds a PhD in Computer Science from the University of Luxembourg (2010) and an M.S. from the National University of Rosario, Argentina (2003). His research focuses on modern software engineering methods, dependable systems, and computing education, with an emphasis on formal verification and sustainable computing practices. Capozucca has contributed to the design of courses at undergraduate and master's levels, including serving as Deputy Programme Director for the BSc in Computer Science from 2021-2024. His work bridges theoretical foundations with practical applications in education and industry. Research interests prominently include AI in education (e.g., ChatGPT's role in formal specification writing), formal verification techniques, and the integration of DevOps philosophies into academic curricula. He has authored numerous papers on topics ranging from security policy analysis to energy-efficient transactional models. Capozucca's contributions extend to open-source projects and tool development, such as the Messir UML requirements engineering tool. His teaching spans software engineering fundamentals, dependability, and modern DevOps practices, reflecting a commitment to aligning education with industry needs. Key professional roles include R&D engineer positions (2004-2006) and leadership in educational program design. His research infrastructure is based at the Maison du Nombre facility in Luxembourg. While no specific grants or awards are listed, his extensive publication record and teaching contributions highlight sustained academic engagement.

• Software Engineering
• Dependable Systems
• Computing Education
• +3 more

Mike Papadakis is an Associate Professor at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the SerVal research group. His research focuses on software engineering, software security, and artificial intelligence. He holds a PhD in Software Testing and Verification from Athens University of Economics and Business, with an MSc and BSc from the same institution. His research explores mutation testing, machine learning applications in software development, and test optimization. Recent publications demonstrate a strong emphasis on AI robustness, flaky test analysis, and automated debugging techniques. Notable achievements include the IEEE TCSE Rising Star Award (2020) and 12 additional research awards. He has published over 100 peer-reviewed articles and delivered more than 30 invited talks globally.

• Software Engineering
• Software Security
• Artificial Intelligence

Maxime CORDY is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg, within the Security, Design and Validation group (SerVal) . He holds a PhD from the University of Namur (Belgium, 2014) and specializes in software engineering, applied artificial intelligence, and cybersecurity. His work focuses on adversarial machine learning, deep learning robustness, and model checking for critical systems. Research interests include adversarial attacks on tabular data , energy system optimization , code understanding models , and software quality assurance . Recent projects address challenges in secure AI deployment, automated test generation, and fault detection in large language models. Publications emphasize empirical studies on adversarial defenses, data augmentation for code models, and energy consumption forecasting. He contributes to tools like Daedalux (variability-aware model checking) and benchmarks like Tabularbench for adversarial robustness evaluation. Current affiliations include leadership within the SerVal group and collaborations on interdisciplinary projects such as MALETSQUE (Machine Learning Techniques for Software Quality Evaluation). His work bridges theoretical computer science with practical applications in energy systems, medical imaging, and space program design.

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +7 more

Konstantinos KANAVOURAS is a Doctoral Researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) within the University of Luxembourg, specifically in the Space Systems Engineering research group (SpaSys). He is advised by Prof. Andreas Hein and focuses on model-based systems engineering, software development, and aerospace engineering applications in satellite systems. His research integrates agile methodologies and machine learning for spacecraft design and anomaly detection. Kanavouras holds a Master’s degree from Aristotle University of Thessaloniki (2021) and contributed as an avionics engineer to ESA’s AcubeSAT nanosatellite project under the Fly Your Satellite! program. His work emphasizes lightweight data management tools, PocketQube missions like POQUITO, and fractionated satellite systems for planetary observation. His publications highlight trends in small satellite development, including agile systems engineering practices, thermal anomaly detection via machine learning, and adapting space projects to remote collaboration (e.g., during the pandemic). Key projects include the University of Luxembourg’s first PocketQube mission (POQUITO) and lean approaches to spacecraft subsystems. Current affiliations include the SpaSys group at SnT, with a focus on interdisciplinary collaboration between systems engineering and software development. No scientific awards are listed, but his work aligns with cutting-edge space technologies and mission design.

• Model-Based Systems Engineering
• Software Development
• Aerospace Engineering
• +4 more

Jean-Daniel Guigou is an Associate Professor at the University of Luxembourg, affiliated with the Faculty of Law, Economics and Finance and the Department of Finance. His research focuses on pension systems, financial modeling, bankruptcy law, and corporate governance. He has published extensively on topics including trajectory modeling, strategic delegation, and the economic implications of regulatory frameworks such as IFRS 9. His work often integrates statistical methodologies like finite mixture models to analyze economic phenomena. Key themes in his research include the optimal design of pension systems, the dynamics of managerial collusion under asymmetric incentives, and the impact of legal frameworks on financial markets. He has contributed to policy-relevant studies, such as analyses of Luxembourg's mixed pension system and the role of corporate governance in financial development. Guigou’s publications reflect a blend of theoretical and applied economics, with notable contributions to understanding strategic behavior in competitive markets, the robustness of econometric models, and the interplay between law and financial systems. His research bridges academic rigor with practical applications in public policy and financial regulation.

• Finance
• Economics
• Pension Systems
• +7 more

Amal AKLI is a Researcher affiliated with the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM), specifically within the Department of Computer Science. She is part of the Security Design and Validation research group (SERVAL), led by Prof. Yves Le Traon. Amal holds a Master’s degree in computer science from the National School of Computer Science in Algeria (2022). Her research focuses on Machine Learning operations (MLops), data science, and software engineering, with a particular emphasis on applying AutoML and few-shot learning techniques to improve software development and testing processes. Her recent publications explore parameter-efficient fine-tuning of pre-trained code models and predicting flaky tests using few-shot learning. While no scientific awards are explicitly mentioned, her work contributes to advancing automated testing and machine learning integration in software engineering. Amal's research aligns with the broader goals of the SERVAL team in enhancing software design and validation methodologies.

• Machine Learning operations (MLops)
• Data Science
• Software Engineering

Dr. Gamal ELGHAZALY is a Research scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), affiliated with the Ubiquitous and Intelligent Systems department. His work focuses on autonomous driving technologies, V2X communication systems, robotics, and control systems. Key research areas include 5G-enabled teleoperated driving, high-definition map construction, and 3D perception for autonomous vehicles. He has developed platforms like RoboCar and contributed to frameworks like FastCycle for modular automated systems. Research interests span robotics kinematics (planar parallel manipulators), adaptive control methodologies (sliding mode control, fuzzy logic), and hybrid systems (cable-driven robots). His publications emphasize real-time motion planning, sensor fusion, and safety-critical systems. Recent works (2023-2025) highlight advancements in 4D perception, cloud-assisted 3D reconstruction, and V2X-enabled collaborative systems. Publications from 2017-2018 reflect early contributions on parallel manipulator modeling and control, while recent efforts focus on integrating cutting-edge technologies like 5G and edge computing into autonomous systems. His work bridges theoretical robotics with practical implementations, addressing challenges in both dynamic environments and industrial applications.

• Autonomous Driving
• V2X Communication
• Robotics
• +3 more

Domenico Bianculli is an Associate Professor at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), leading research in the Software Verification and Validation Lab. His work focuses on software engineering, particularly runtime verification, log analysis, GDPR compliance, and AI-driven testing methodologies. Recent publications address GDPR compliance for mobile apps, metamorphic testing for cyber-physical systems, and quantum program analysis using large language models. Research demonstrates strong emphasis on practical software quality assurance and regulatory compliance.

• Software Engineering
• Runtime Verification
• Log Analysis
• +2 more

Kaouther BENGUESSOUM is a Doctoral researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), specifically within the SerVal department. Her research focuses on cybersecurity, formal methods, and systems reliability, aligning with SnT's mission to advance interdisciplinary security and trustworthiness in technology. Her affiliations include the SerVal team, located at Bureaux modulaires bloc G, 6, rue Coudenhove-Kalergi, L-1359 Luxembourg. She is based in office BLG, E02 003. While no specific publications or awards are listed, her work contributes to advancing methodologies in software verification and systems security. No advising roles or grants are explicitly mentioned in the provided information.

• Cybersecurity
• Software Engineering
• Formal Verification
• +3 more

Claudio Mandrioli is a Postdoctoral Researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg, where he joined the Software Verification and Validation (SVV) research group led by Prof. Lionel Briand and Prof. Domenico Bianculli in January 2023. His educational background includes a PhD in Automatic Control from Lund University (Sweden, 2022), a Master's degree in Automation and Control Engineering from Politecnico di Milano (2017), and a Bachelor's degree in the same field from Politecnico di Milano (2015). Mandrioli's research centers on bridging software engineering and control theory for Cyber-Physical Systems (CPS), with emphasis on verification challenges arising from their interdisciplinary nature. His work integrates control-theoretical perspectives into software testing, particularly for feedback-based systems and self-adaptive software, while addressing real-time execution non-idealities. This approach enables more robust validation frameworks for safety-critical CPS applications. His recent publication trends highlight a strong focus on model-based CPS testing methodologies, as evidenced by the 2025 ASE conference paper on fault injection techniques for Simulink models, reflecting his ongoing commitment to enhancing verification practices through cross-disciplinary collaboration. SIGBED-SIGSOFT Frank Anger Memorial Award (2022) Marie Skłodowska-Curie Actions Postdoctoral Fellowship for ConTestCPS project (2024) Mandrioli actively contributes to the academic community through program committee roles at EMSOFT, SEFM, and FSE conferences, while advising doctoral research via the Software Engineering Doctoral Symposium. His research is supported by competitive grants including the MSCA-PF ConTestCPS project, which develops control-theoretical testing frameworks for CPS. He operates within the Software Verification and Validation research group at SnT, collaborating closely with Prof. Domenico Bianculli and Prof. Lionel Briand, and maintains partnerships with institutions including Lund University, Politecnico di Milano, and Fondazione Bruno Kessler.

• Software Engineering
• Cyber-Physical Systems
• Verification and Validation
• +3 more

Marcus Völp is an Associate Professor and head of the CritiX research group at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT). His research focuses on ultra-reliable operating systems, fault and intrusion tolerant systems for cyber-physical environments, and hierarchical hybridization techniques to construct resilient computing platforms. His work bridges theoretical foundations with practical implementations, particularly in developing dependable systems-on-chip that can withstand faults and intrusions. Research spans formal verification methods, radiation-hardened hardware, blockchain security, and autonomous vehicle safety systems. Recent publications demonstrate advancement in parameterized system verification, radiation effects on routers, and N-version machine learning for autonomous systems. His group maintains strong focus on practical resilience mechanisms for real-time and critical systems across computing layers.

• Operating Systems
• Fault Tolerance
• Cyber-Physical Systems
• +5 more

Aleksandar MATOVIC is a Postdoctoral Researcher at the University of Luxembourg’s Interdisciplinary Centre for Security, Reliability and Trust (SnT), specifically within the CritiX research group. His work focuses on cybersecurity and software engineering, with an emphasis on designing resilient systems for large-scale infrastructures and safety-critical applications. He is advised by Marcus Voelp and collaborates under the direction of Prof. Paulo Esteves-Verissimo. He holds an MSc in Innovation, Design, and Technology from Mälardalen University (Sweden, 2019). His research explores adaptive security mechanisms, critical infrastructure protection, and the intersection of cybersecurity with safety-critical systems. Recent publications highlight advancements in resilient control systems (e.g., stateless recovery protocols) and embedded systems morphing (Admorph approach). His work bridges theoretical cybersecurity concepts with practical applications in cyber-physical systems. No scientific awards are listed in the provided information. His current projects involve collaboration within the CritiX group to enhance security frameworks for industrial and infrastructural systems.

• Cybersecurity
• Software Engineering
• Critical Infrastructure Protection
• +3 more

Seung Yeob SHIN is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He holds a PhD from the University of Massachusetts Amherst (2016), specializing in software engineering with a focus on system modeling and analysis through simulation and model checking frameworks. His work is centered at the Software Verification and Validation (V&V) Lab , led by Prof. Lionel Briand. Research Interests: Software Engineering Methodologies Cyber-Physical Systems Testing Real-Time Systems Analysis AI-Driven Testing Techniques Model Checking & Simulation Key Contributions: Pioneering work on fuzzing techniques for SDN controllers Development of probabilistic WCET estimation methods Advancements in metamorphic testing for CPS Control theory-based stress testing frameworks Publications: Over 30 peer-reviewed articles focusing on testing methodologies for real-time systems, cyber-physical systems, and quantum programming analysis. Recent trends emphasize AI integration in software validation and uncertainty-aware system design. Labs & Teams: Active member of the V&V Lab, collaborating on hardware-in-the-loop testing and embedded system validation projects.

• Software Engineering
• Cyber-Physical Systems
• Real-Time Systems
• +4 more

Tegawendé F. Bissyande is an Associate Professor at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the Trustworthy Software (TruX) research group. His research focuses on software security, automated program repair, and explainable AI for software systems. He directs the ERASMUS MUNDUS Joint Master’s in Cybersecurity and leads educational initiatives in West Africa through LuxWAyS and SnT4Dev projects. His work has been recognized with an ERC Starting Grant and best paper awards at major conferences including ASE, KDD, and MSR.

• Software Engineering
• Software Security
• Automated Software Repair
• +2 more