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

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

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

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

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

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

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

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

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

Stéphane BORDAS is a Full Professor in Computational Mechanics at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM), leading the Computational Mechanics (Legato) research group. His work focuses on free boundary problems, method development for complex geometries, and applications in fracture mechanics, biomechanics, and computational engineering. He previously held roles at Cardiff University and the Swiss Federal Institute of Technology in Lausanne (EPFL). His research integrates computational methods like XFEM, isogeometric analysis, and meshfree techniques to address challenges in engineering and medicine. Education: Ph.D. in Theoretical and Applied Mechanics, Northwestern University (2003) M.Sc. in Civil Engineering, École Spéciale des Travaux Publics and Northwestern University (1999) Research Interests: Computational Mechanics, Biomechanics, Finite Element Methods, Fracture Mechanics, High-Performance Computing, Isogeometric Analysis. Grants & Projects: ERC Starting Grant (RealTCut) for surgical simulation and material cutting FP7 ITN INSIST for meshless methods Labs/Teams: Computational Mechanics (Legato) Group at the University of Luxembourg. His work bridges academia and industry, with applications in aerospace, biomedical engineering, and materials science. He is active in open-source software development, including codes for XFEM, isogeometric analysis, and meshfree methods.

• Computational Mechanics
• Biomechanics
• Finite Element Methods
• +۶ مورد دیگر

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

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

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

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