جستجوی استاد راهنمای دانشگاهی

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
• +۴ مورد دیگر

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
• +۷ مورد دیگر

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
• +۴ مورد دیگر

Antragama Ewa ABBAS is a Postdoctoral Researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) within the University of Luxembourg, focusing on data sovereignty, blockchain technology, and platform ecosystems. Her work bridges theoretical and applied research, particularly in healthcare and data governance contexts. She holds a keen interest in exploring the intersections of technology, policy, and societal impact. Her research agenda emphasizes designing architectures for platform ecosystems in healthcare, evaluating control mechanisms for sovereign data sharing, and conceptualizing data sovereignty through social contract frameworks. Recent publications highlight innovations in blockchain-driven business models, smart contracts, and barriers to implementing open platforms in healthcare systems. Abbas has contributed to projects like FINATRAX within SnT, exploring data marketplaces and their implications for industry sectors such as automotive and healthcare. Her work on API integration and smart city initiatives in Indonesia demonstrates a focus on practical applications of digital governance and technology adoption. Her publications reflect a commitment to interdisciplinary research, blending insights from computer science, business strategy, and public policy to address challenges in data-driven economies and secure digital ecosystems.

• Data Sovereignty
• Blockchain Technology
• Platform Ecosystems
• +۳ مورد دیگر

Jacques Klein is Full Professor of Software Engineering and Mobile Security at the University of Luxembourg. His research bridges software engineering principles with security challenges in modern computing environments. Research focuses on software security, mobile systems analysis, and increasingly on large language model applications for program analysis. Recent work examines Android ecosystem security, infrastructure-as-code vulnerabilities, and AI-enhanced program repair techniques. Klein's 2025 publications demonstrate strong emphasis on LLM capabilities for automated compliance checking, malware detection, and program understanding. The research combines empirical software engineering with AI methodologies to address security and maintenance challenges.

• Software Engineering
• Mobile Security
• Program Analysis
• +۲ مورد دیگر

Djamila Aouada is an Assistant Professor and Senior Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where she heads the Computer Vision, Imaging, and Machine Intelligence (CVI2) research group. She earned her State Engineering degree from École Nationale Polytechnique, Algeria, and PhD from North Carolina State University. Her research spans computer vision, signal processing, pattern recognition, and data modeling. Dr. Aouada leads several national and European projects including FNR FAVE, 3D-Act, and H2020 STARR, focusing on AI-driven solutions for industrial and security applications. She has received four IEEE Best Paper Awards for her contributions. Dr. Aouada has supervised 5 completed PhD theses and currently mentors 5 PhD candidates, while maintaining collaborations with Los Alamos National Laboratory and Mitsubishi Electric Research Labs. She serves as Senior IEEE Member and previously chaired IEEE Benelux Women in Engineering.

• Computer Vision
• Signal Processing
• Image Processing
• +۳ مورد دیگر

Fabrizio PASTORE is a Professor and Chief Scientist 2 in Software Engineering at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg. He leads the Software Verification and Validation (V&V) Lab under Prof. Lionel Briand. His research focuses on advancing software testing methodologies, particularly in cyber-physical systems (CPS), deep neural networks (DNN) safety analysis, and program analysis. He holds a PhD from the University of Milano-Bicocca (2010) and has held roles including Assistant Professor at the same institution and Post-Doctoral Researcher at the University of Lugano (Switzerland). Key research interests include: Mutation testing and fuzzing techniques Automated tool development (e.g., MOTIF, SAFE, DaMAT) Safety analysis of DNNs using clustering and GAN-enhanced simulations Testing of edge frameworks and SDN configurations Model-driven testing and system evolution analysis His work bridges academic research with industrial applications, emphasizing practical tools for software reliability and security. He has contributed to over 100 publications since 2004, with a focus on testing methodologies for complex systems. Notable achievements include: Development of the AVA , RADAR , and MASS tools for regression and safety analysis Pioneering studies on metamorphic testing and explainable AI for safety-critical systems Leadership in the V&V Lab, fostering interdisciplinary collaboration in software engineering His research addresses challenges in CPS, autonomous systems, and AI safety, with a strong emphasis on tool-supported validation and verification methodologies.

• Software Engineering
• Software Testing
• Program Analysis
• +۵ مورد دیگر

Sasan JAFARNEJAD is a postdoctoral researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), affiliated with the Ubiquitous and Intelligent Systems (UBIX) research group. Previously, he served as Chief Technology Officer (CTO) at Motion-S for three years. He holds a PhD from the University of Luxembourg (2020), focusing on driver behavior modeling using deep/machine learning algorithms. His research interests center on enhancing geospatial reasoning capabilities of large language models (LLMs) and their applications in transportation and mobility. He also explores computational methods for understanding human-driven systems. No specific scientific awards or grants are mentioned in the provided text. His work is part of the UBIX group, though no lab-specific details are disclosed.

• Geospatial Reasoning
• Large Language Models (LLMs)
• Transportation Systems
• +۴ مورد دیگر