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.
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.
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.
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.
Joachim Arts is a Full Professor at the University of Luxembourg in the Faculty of Law, Economics and Finance , Department of Economics and Management. He is affiliated with the Luxembourg Centre for Logistics and Supply Chain Management (LCL) and holds visiting positions at MIT Sloan School of Management and Eindhoven University of Technology. His research focuses on operations research applications in supply chain management, logistics, maintenance optimization, and business analytics, often collaborating with companies like ASML and Philips. He has published extensively in top journals such as Operations Research and European Journal of Operational Research . Dr. Arts holds a European Doctoral Dissertation Award (EURO) and a Veni Career Grant from the Netherlands. His work emphasizes practical applications, including inventory systems, maintenance scheduling, and sustainability in supply chains. He previously served as an Assistant Professor at TU Eindhoven and a visiting scholar at MIT. His research bridges theoretical models with real-world industry challenges. Awards : European Doctoral Dissertation Award (201?), Veni Career Grant (201?) Visiting Appointments : MIT Sloan, TU Eindhoven Key Focus Areas : Lost sales inventory systems, condition-based maintenance, green logistics, and service parts optimization His recent work explores profitability-sustainability trade-offs in chemical value chains and dynamic supply mode selection for emission reduction. He leads initiatives in data-driven maintenance strategies and multi-echelon inventory systems.
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.
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.
Eva LAGUNAS is an Assistant Professor and Deputy-Head of the SIGCOM research group at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg. Her expertise lies in Non-Terrestrial Communication Systems , focusing on radio resource management and wireless networks optimization. She holds a Ph.D. and M.Sc. in Telecommunications Engineering from the Polytechnic University of Catalonia (UPC), Barcelona. Key Affiliations & Roles: Principal Investigator (PI) of the FNR CORE project VARRAY-5G (Vehicular Phase Array Antennas for 5G) PI of the CHIST-ERA project SHIELD (Secure Distributed Learning & Smart Contract Ecosystems) Co-PI in the ESA ARTES-funded NeuroSat project (Neuromorphic Processors for SatCom) Deputy-Head of SIGCOM group and active contributor to the TelecomAI-Lab (AI-driven satellite communication) Event organizer: Special Session on ML for NTN at IEEE ICMLCN 2025, Track Chair at EUCNC 2025 Research Interests: Non-Terrestrial Networks (NTN), 6G integration, satellite-ground network convergence, AI-driven optimization, reconfigurable intelligent surfaces (RIS), and neuromorphic computing for onboard processing. She also leads efforts in vehicular communications and energy-efficient satellite payloads. Recent Achievements: 2025: Elected to the EURASIP Board of Directors 2024: Listed in the 100 Brilliant and Inspiring Women in 6G list 2023: Co-authored NeuroSat project's IEEE publication on neuromorphic computing for SatCom Labs & Projects: TelecomAI-Lab : Developing neuromorphic hardware (e.g., Intel Loihi2, BrainChip AKIDA) for satellite applications ESA NeuroSat : Pioneering neuromorphic processors for onboard SatCom resource management Grants & Funding: Secured Luxembourg National Research Fund (FNR) and CHIST-ERA grants for projects like VARRAY-5G and SHIELD, totaling over €2M in research investment.
Jorge GONCALVES is a Full Professor at the Luxembourg Centre for Systems Biomedicine (LCSB), University of Luxembourg, and a Principal Research Associate at the University of Cambridge's Department of Plant Sciences. He holds expertise in computational biology, systems biomedicine, and machine learning applications in healthcare. His roles include leading research on gene regulatory networks, epidemic modeling, and deep brain stimulation technologies. Education: Licenciatura from University of Porto (1993), M.S. and Ph.D. from MIT (1995/2000). Postdoctoral work at MIT and Caltech, followed by academic positions at the University of Cambridge (Lecturer, Reader, Principal Research Associate). Visiting Professorships at the University of Luxembourg and Caltech. Research Interests : Dynamical systems modeling, network inference, biomedical applications of AI, and systems biology. His work spans drug repositioning, early warning signals for disease transitions, and multiomics analysis in immunology. Publications : Focused on interdisciplinary approaches combining machine learning with biological systems. Key themes include computational methods for gene network analysis, epidemic monitoring systems, and AI-driven medical diagnostics. Awards : Not explicitly listed in provided texts. Advising and grants: Extensive collaboration with institutions globally, including leadership in EU-funded projects and industry partnerships. Active in mentoring researchers across computational biology and engineering disciplines. Labs/Teams: Leads LCSB teams focused on systems biomedicine and AI-driven health solutions. Collaborates with the University of Cambridge on plant sciences and robotics initiatives.
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.
Sylvain Kubler is a Researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) within the University of Luxembourg's SerVal group. He holds a PhD from Université de Lorraine (2013) and previously served as an Associate Professor at the Research Center for Automatic Control of Nancy. His work focuses on IoT applications, decision support systems, and their integration into Industry 4.0, renewable energy, and smart cities. He has contributed to projects involving blockchain consensus mechanisms, maintenance scheduling, and energy system optimization. His research emphasizes sustainable technologies and distributed systems security. Research Interests: IoT and Blockchain Integration Decision Support Systems for Smart Cities and Industry Renewable Energy and Multi-Energy Networks AI-Driven Maintenance and Prognostics Privacy-Preserving Distributed Systems Recent Contributions: Sylvain’s recent work explores adaptive blockchain frameworks (e.g., DRAFTEE), reinforcement learning for maintenance scheduling, and explainable AI (XAI) in prognostics. His articles analyze trade-offs in federated learning architectures and multi-level energy system coordination. Affiliations and Labs: A core member of the SerVal group, he collaborates on initiatives like the IoT-based BIoTope ecosystem and the Sabine blockchain project. His work aligns with Luxembourg’s focus on secure, reliable, and sustainable technological solutions.
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.
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.
Juan Carlos Merlano Duncan is a Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), specializing in the SigCom department. He contributes to the SATSENT project with Prof. Ottersten and Dr. Symeon Chatzinotas, focusing on satellite sensor networks for spectrum monitoring. His roles include advancing technologies in wireless communications, remote sensing, and embedded systems. **Education:** Bachelor's in Engineering from Universidad del Norte (2004) M.Sc. and Ph.D. in Telecommunications from Universitat Politècnica de Catalunya (2009 and 2012) **Research Interests:** Wireless communications, remote sensing, distributed systems, Software Defined Radios (SDR), embedded systems, and AI-driven satellite technologies. His work emphasizes FPGA design, radar systems (e.g., SABRINA project), and cognitive radio networks. **Publications:** Recent work spans AI in satellite communications, digital beamforming, and energy-efficient MIMO systems. Notable themes include STAR-RIS networks, onboard image classification, and THz reconfigurable surfaces. **Grants & Advising:** No explicit grants or advisees listed, though his projects imply collaborative research funding. He has led FPGA implementations for radar and cognitive radio systems. **Labs & Teams:** Core member of SnT’s SigCom group, contributing to satellite telecommunication testbeds using COTS devices and onboard processing architectures.
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.
