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

Yannick BARAUD is a Full Professor in Mathematics at the University of Luxembourg, leading the group 'Developing Contemporary Mathematical Statistics' within the Department of Mathematics. He holds the ERA-Chair 'SanDAL' in Mathematical Statistics and Data Science, funded by the European Commission. His research focuses on robust estimation, model selection, hypothesis testing, and nonparametric methods. He serves as the Study Programme Director for the Master in Data Science and has held academic positions at the University of Nice Sophia Antipolis and CNRS. His career includes roles as a researcher at École Normale Supérieure (Paris) and a lecturer at the same institution. He earned his PhD from Université Paris-Sud and studied at École Normale Supérieure de Cachan. His work emphasizes rigorous statistical methodologies, including rho-estimation and robust Bayes-like approaches. Notable contributions include advancements in density estimation under shape constraints and robust regression techniques. He has published extensively on topics such as loss functions, empirical processes, and statistical inference, with applications in epidemiology and data science. His leadership in the SanDAL initiative underscores his commitment to bridging mathematical statistics and practical data science challenges. Collaborations and grants further highlight his role in advancing interdisciplinary research.

• Mathematical Statistics
• Model Selection
• Robust Estimation
• +۳ مورد دیگر

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

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

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

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

Elisabeth Letellier is an Assistant Professor at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM), leading the Molecular Disease Mechanisms group within the Department of Life Sciences and Medicine. Her research focuses on dissecting molecular mechanisms underlying colorectal cancer (CRC) progression, drug resistance, and tumor microenvironment interactions. She collaborates with institutions like the Integrated BioBank of Luxembourg (IBBL) and Laboratoire National de la Santé (LNS) to develop patient-derived 3D tumor models and in vivo systems for translational research. With over 40 publications (H-index 27, 3196 citations) and securing €9M in competitive grants since 2013, her work also includes contributions to three patents, two as primary author. Research interests include metabolic reprogramming in tumor cells, microbiome-driven cancer progression, and stromal cell interactions. She teaches molecular medicine in the Master in Molecular and Computational Biomedicine program, emphasizing protein structure and biochemistry practical training. Her team's achievements include collecting over 180 high-quality CRC patient samples and advancing drug repurposing strategies targeting KRAS/BRAF mutations. Current projects explore formate-driven metastasis mechanisms, ketogenic diet effects, and gut microbiome modulation in cancer therapy.

• Colorectal Cancer (CRC)
• Tumor Metabolism
• Cancer Drug Resistance
• +۳ مورد دیگر

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

Luis A. Leiva is an Assistant Professor in the Department of Computer Science at the University of Luxembourg’s Faculty of Science, Technology and Medicine. He leads the Computational Interaction research group and serves as director of the Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS). His academic background includes a PhD in Computer Science (with honors), an MAS in Pattern Recognition and Artificial Intelligence, an MSc in Electrical Engineering, and dual BSc degrees in Industrial Design and Industrial Engineering, all from the Universitat Politècnica de València (UPV). His research lies at the intersection of Human-Computer Interaction (HCI) and Machine Learning , with a focus on computational interaction . He investigates methods to enable, explain, and support user interaction through computational models and data-driven techniques. His key areas include implicit interaction —leveraging behavioral signals such as mouse movements and gaze—and synthetic data generation , particularly using kinematic models to simulate human-like gestures. His work has contributed to usability evaluation, user engagement prediction, adaptive interfaces, and stroke gesture modeling. His recent publications span top-tier journals and conferences such as ACM Transactions on Computer-Human Interaction (TOCHI) , IEEE Transactions , CHI , IUI , and SIGIR . The research trends reflect a strong emphasis on multimodal interaction, affective computing, brain-computer interfaces, and deep learning applications in user interface modeling and personalization. Best paper award at IUI'25 Marie Skłodowska-Curie Actions (MSCA) Seal of Excellence (2019) Extraordinary PhD thesis award (2014) Outstanding Reviewer Recognition at CHI, ICMI, MobileHCI, and UIST Quality Teaching Awards finalist at Aalto University (2020) Luis A. Leiva has advised numerous MSc and BSc students at the University of Luxembourg and Aalto University and has secured significant research funding as PI or co-PI for projects such as SYMBIOTIK (EIC), SCRIPTOR (FNR), BANANA (CHIST-ERA), and SAMUSE (Audacity). He is an Associate Editor for the International Journal of Human-Computer Studies and Machine Learning with Applications , and actively serves on the program committees of major HCI and AI conferences. He is also a co-founder and former CTO of Sciling, an SME specializing in machine learning solutions, and has held postdoctoral positions at Aalto University and the PRHLT Research Center (UPV). He leads the Computational Interaction research group and the ILIAS lab, both dedicated to advancing intelligent, adaptive, and user-centered computing systems through interdisciplinary research combining machine learning, cognitive science, and interactive technologies.

• Human-Computer Interaction
• Machine Learning
• Computational Interaction
• +۱۲ مورد دیگر

Prof. Anja Leist is a Full Professor in Public Health and Ageing at the University of Luxembourg's Department of Social Sciences, serving as Vice-head of the Institute for Research on Socio-Economic Inequality (IRSEI) and Special Advisor to the rectorate on Research Assessment. Her work integrates social epidemiology, life course perspectives, and cognitive ageing research, focusing on health inequalities and dementia risk reduction. She leads the ERC-funded CRISP project, advancing dementia risk prediction through novel modeling techniques. Notable achievements include the 2024 Vontobel Prize and a Health and Medical Sociology Excellence Prize. Her research spans Germany, Netherlands, Luxembourg, and Switzerland, with expertise in health politics and advisory roles for funders. Research interests center on cognitive function, public health policy, and aging populations, with publications in top-tier journals like Alzheimer's and Dementia and Gerontologist . She explores intersections of education, gender, and technology in aging contexts, emphasizing equity in brain health. Recent work addresses pandemic impacts on healthcare access, AI ethics in medicine, and interventions for cognitive decline prevention. As a Fellow of the Gerontological Society of America, Leist advises on dementia policy and editorial boards. Her grants include €1.15M from the ERC and FNR support. She collaborates internationally, mentoring early-career researchers through projects like MEDITAGING, which tests mindfulness-based interventions for older adults. Ongoing work examines labor market re-entry effects on cognition and socioeconomic determinants of brain health disparities.

• Health Inequalities
• Cognitive Ageing
• Public Health
• +۴ مورد دیگر

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

Pedro Cardoso Leite is an Associate Professor in Cognitive Science and Assessment at the University of Luxembourg's Faculty of Humanities, Education and Social Sciences, within the Department of Behavioural and Cognitive Sciences. His work focuses on cognitive control, educational assessment methodologies, and the application of machine learning in education. Research interests include cognitive science applications in healthcare (e.g., Friedreich ataxia clinical trials), game-based learning for collaboration skills, and the ethical challenges of remote proctoring systems. He has also contributed to frameworks like CogPonder and CogEnv, advancing computational models of cognitive processes. Publications highlight interdisciplinary approaches, such as combining neuroscience with education technology and analyzing media impacts on child development. His work bridges theory and practice, addressing real-world challenges like educational equity and AI-driven assessment systems.

• Cognitive Science
• Educational Assessment
• Neuroscience
• +۵ مورد دیگر

Dr. Vittorio FRANZESE is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) within the University of Luxembourg's SPASYS department. His work focuses on CubeSat technology, autonomous space systems, and deep-space exploration. He leads projects like the POQUITO PocketQube mission and the LUMIO lunar CubeSat, aiming to advance miniaturized satellite capabilities for interplanetary navigation and meteoroid impact monitoring. Key research areas include spacecraft autonomy, optical navigation algorithms, and mission design for CubeSats. He has contributed to initiatives such as the ERC-funded EXTREMA project, developing self-driving interplanetary CubeSats. His technical expertise spans satellite systems engineering, trajectory optimization, and sensor development for space applications. Publications highlight advancements in laser communication terminals, asteroid mission analysis, and swarm satellite technologies. Collaborative efforts include the Hera Milani CubeSat mission for asteroid exploration. His work bridges theoretical research with practical implementation, emphasizing innovation in low-cost space technologies.

• Spacecraft Design
• Aerospace Engineering
• Astrodynamics
• +۴ مورد دیگر

Dr. Carol Martinez Luna is a Research Scientist and Deputy Head of the Space Robotics group (SpaceR) at the SnT Interdisciplinary Centre, University of Luxembourg. She holds a PhD in Robotics and Automation from Universidad Politécnica de Madrid (2013) and previously served as an Assistant Professor at Pontificia Universidad Javeriana, Colombia. Her research spans Space Robotics , Computer Vision , and Machine Learning , with current focus areas including: Multi-purpose manipulation for planetary/orbital robots Perception systems for autonomous space operations Domain adaptation to bridge simulation-to-reality gaps On-ground testing of orbital technologies Recent publications (2022-2025) predominantly address space debris removal , autonomous grasping , and robotic perception , with heavy emphasis on machine learning techniques and high-fidelity simulation validation. Notable trends include generative models for manipulation and adaptive control under uncertainty. She actively advises 7 PhD students and 9 Master's candidates on topics ranging from space manipulation to vision-based safety systems. Her lab develops experimental platforms for orbital scenario emulation and collaborates on ESA-funded debris removal initiatives.

• Space Robotics
• Computer Vision
• Machine Learning
• +۵ مورد دیگر

Aleksandr PILGUN is a Postdoctoral researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), specifically within the TruX department. His research focuses on mobile application security, software testing methodologies, and reverse engineering of Android applications. He has developed tools like ACVTool and ACVCut for code coverage measurement and instrumentation. His work spans from foundational research in mathematical modeling of point distributions (2016) to cryptographic systems on embedded devices (2013), demonstrating interdisciplinary expertise. His recent publications (2020-2024) emphasize Android app security, including black-box testing, instruction-level coverage analysis, and cryptocurrency miner detection. Key outputs include tools for automated testing frameworks and vulnerability detection in third-party Android applications. Awards and grants are not explicitly listed in the provided texts. His research often intersects with practical tool development, as evidenced by GitHub repositories and open-source contributions.

• Mobile Application Security
• Software Testing
• Reverse Engineering
• +۳ مورد دیگر