Find Academic Supervisors

Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +4 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

Prof. Michael HALLING is a Full Professor in Sustainable Finance at the University of Luxembourg's Faculty of Law, Economics and Finance, Department of Finance. His work focuses on sustainable finance, corporate finance dynamics, climate risk assessment, and financial regulation. He holds the prestigious Chair in Sustainable Finance and has published extensively on topics like MiFID II compliance, mutual fund fee structures, and post-pandemic market recovery. Contact: michael.halling@uni.lu Research Interests : Prof. HALLING’s research bridges theoretical finance with practical applications, emphasizing sustainable investment practices, corporate debt management, and regulatory frameworks. Key themes include: Climate risk modeling using public news sentiment analysis Impact of behavioral preferences on corporate investment decisions Automated compliance systems for financial institutions Market dynamics during crises (e.g., pandemic effects on capital access) Recent Publications Trends : Recent works analyze MiFID II regulatory impacts (2024), stochastic modeling of corporate investment (2023), and firm-specific climate risk quantification. His 2020 studies explored pandemic-driven shifts in corporate financing strategies. Awards : No awards explicitly mentioned in the provided texts. Grants & Advising : No student advisees or grant details provided in available data. Labs/Teams : No specific research group affiliations listed.

• Sustainable Finance
• Corporate Finance
• Climate Risk Assessment
• +5 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

Nicolas GUELFI is a Full Professor at the University of Luxembourg's Faculty of Science, Technology and Medicine (Department of Computer Science). He has been a faculty member since 1999, leading the Lassy laboratory for over a decade and co-founding the academic Bachelor in Computer Science program. His research focuses on software engineering, dependability, resiliency, formal methods, and AI-driven systems. He has coordinated over 60 staff members on international projects and contributed to standards like ERCIM's RISE and SERENE working groups. Education: PhD in Formal Methods (Paris XI, 1999) Teaching: Software Engineering across universities (Paris XI, EPFL, EPITA) since 1994 Roles: ERCIM Executive Committee member, Expert for Judicial Conformance Trials Research interests emphasize requirements engineering (MESSIR framework), resilient systems, and AI integration. He has pioneered tools like SEMKIS-DSL and MESAS for system specification. His work bridges academia and industry through DevOps education programs and standards analysis. Publications span formal verification, Petri nets, and model-driven engineering. He has advised on high-stakes litigation involving €0.1M–€100M projects, leveraging his expertise in system conformance.

• Software Engineering
• Dependable Systems
• Formal Methods
• +4 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

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

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

Sviatlana HOEHN serves as a Postdoctoral Researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) of the University of Luxembourg, where she is affiliated with the IRiSC research group. Her work is conducted from the Central Building (ABCD) at 6, rue Coudenhove-Kalergi in Luxembourg City, focusing on critical infrastructure within security and reliability domains. Her research spans high-impact areas including: Cybersecurity frameworks for critical systems Reliability engineering in distributed networks Trustworthy computing architectures Formal verification methods Security protocol analysis Resilience modeling for cyber-physical systems No scientific awards were documented in the available institutional profile. Information regarding student supervision, grant funding, or laboratory leadership remains unspecified in current public records. HOEHN contributes to SnT's mission of advancing interdisciplinary security research through her specialized work in the IRiSC group, which addresses emerging challenges in digital trust and system integrity.

• Cybersecurity
• Reliability Engineering
• Trustworthy Systems
• +3 more

Nicolas SANNIER is a Postdoctoral Researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), specifically within the Software Verification and Validation (SVV) research group led by Prof. Lionel Briand. He holds a PhD in Computer Science from the University of Rennes (France, 2013). His research focuses on regulatory compliance, legal requirements engineering, and the application of model-driven engineering, natural language processing, and machine learning to analyze legal and regulatory texts. Key areas include GDPR compliance for software systems, automated regulatory change analysis, and formalization of legal policies. Previously, he worked at EDF, Inria, and other institutions. His work bridges academic research with practical applications in industries such as finance and nuclear energy. He develops frameworks for extracting semantic legal metadata, simulating legal policies, and automating compliance checks using runtime verification techniques. His expertise includes natural language processing for legal texts, automated cross-reference resolution, and technology transfer projects. His research has produced tools like MatrixMiner and frameworks for regulatory requirements modeling (e.g., INCREMENT). He emphasizes long-term sustainability of safety requirements repositories and addresses challenges in variability and traceability in complex systems. Current trends in his publications focus on AI-driven compliance solutions, GDPR privacy concerns in mobile apps, and automated analysis of financial regulations.

• Software Engineering
• Regulatory Compliance
• Legal Requirements Engineering
• +5 more

Anastasia SERGEEVA is a Postdoctoral researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), specifically within the Interdisciplinary Research Institute in Security and Cryptology (IRiSC). Her work focuses on cybersecurity, AI ethics, and human-computer interaction, with particular attention to deceptive design patterns, misinformation detection, and user behavior in digital environments. She is affiliated with the Maison Sciences Humaines in Esch-sur-Alzette. Her research integrates transdisciplinary perspectives, addressing topics such as dark patterns in e-commerce, extended reality (XR) ethical challenges in industrial settings, and the psychological dimensions of cybersecurity education. She actively contributes to projects involving AI-driven solutions for transparency in deceptive pattern detection and prebunking strategies to combat misinformation. Recent publications highlight her exploration of cognitive interventions for critical thinking, the impact of voice fidelity on decision-making, and the ethical implications of AI models in code generation. Her work bridges technical and social sciences, emphasizing user-centric design and policy implications for digital environments.

• Cybersecurity
• AI Ethics
• Human-Computer Interaction (HCI)
• +6 more

Sallam Abualhaija is a Research Scientist at the University of Luxembourg’s Interdisciplinary Centre for Security, Reliability and Trust (SnT), contributing to the Software Verification and Validation (SVV) group. She coordinates the FutureFinTech initiative and holds roles like Executive Guest Editor for the Information and Software Technology (IST) journal’s special issue on regulatory compliance. Her research focuses on the intersection of software engineering and AI, emphasizing regulatory compliance (especially GDPR) and quality assurance in software requirements. She promotes open science as the FOSS liaison in SVV, ensuring ethical licensing of research artifacts. Abualhaija has supervised four PhD students and teaches courses like Introduction to AI for Space and Software Engineering 2. She actively contributes to academic communities via conference roles (RE, ICSE, ASE) and reviewing for top journals (TSE, TOSEM). Notable awards include Best Paper Awards at IEEE Requirements Engineering Conferences and the Distinguished Reviewer Award (2024). Her outreach includes speaking at events like the FNR AI & Society Series and promoting women in science. She holds a PhD from TU Hamburg (2016) and earlier roles at institutions like Goodgame Studios and Jordan’s Ministry of Education.

• Software Engineering
• Artificial Intelligence
• Regulatory Compliance
• +3 more

Prof. Peter Y A Ryan is a Full Professor in Computer Science and Communication (Applied Security) at the University of Luxembourg's Faculty of Science, Technology and Medicine, within the Department of Computer Science. His research focuses on cryptography, information security, and secure voting systems, emphasizing verifiability, privacy, and coercion resistance in e-voting. He leads projects on post-quantum cryptography, lightweight security protocols for IoT, and DNA-based data preservation. Key research areas include: Cryptography: Post-quantum algorithms, secure key exchange, and cryptographic protocol design E-Voting Systems: End-to-end verifiability, coercion mitigation, and usability studies Security Foundations: Privacy-preserving technologies, formal verification, and ransomware prevention His recent work explores: Hyperion/Selene voting systems with transparent verifiability X2065 and AVRNTRU protocols for constrained IoT devices Optical unclonable tags for artifact authentication Publications span 2020–2024, addressing topics like quantum-resistant cryptography, e-voting usability, and ransomware mitigation strategies. He contributes to international conferences such as E-Vote-ID and SECITC.

• Information Security
• Cryptography
• Secure Voting Systems
• +3 more

Gabriele Lenzini is an Associate Professor at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the IRiSC research group. With a PhD in Computer Science from the University of Twente and dual MSc degrees from the University of Pisa, his research focuses on socio-technical security, electronic voting systems, and privacy engineering. He has extensive international experience through positions at CNR Italy, University of Twente, and Telematica Institute. His research explores security and privacy in human-centered systems through interdisciplinary approaches. Primary interests include: Design of trustworthy socio-technical systems Security protocols for electronic voting Location privacy assurance mechanisms Human factors in cybersecurity Publications demonstrate consistent focus on security and privacy innovations, particularly in social media analysis (misinformation detection, credibility systems) and cryptographic applications (voting protocols, authentication systems). Recent works show growing emphasis on AI/ML security implications and ethical HCI design patterns.

• Cybersecurity
• Privacy Engineering
• Socio-Technical Systems
• +3 more