جست‌وجوی استاد و پژوهشگر

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +۴ مورد دیگر

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
• Software Security
• Artificial Intelligence

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.

• Web Application Development
• Front-end Development
• Back-end Development
• +۲ مورد دیگر

Jyoti Kumari serves as a Researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), working within the FINATRAX research group led by Prof. Gilbert Fridgen. Her role focuses on research and development in digital financial services and cross-organizational digital transformations. She earned her Master’s degree from the National Institute of Technology, Allahabad (India) in 2014. Prior to joining the university, she accumulated seven years of professional experience as a senior software engineer in various IT companies. Her research expertise spans full-stack web application development, with specialization in both front-end interfaces and back-end services. She emphasizes practical implementation of software solutions for real-world deployment in financial technology contexts, particularly through iterative development and user-centered design approaches. No scientific awards are documented in the available information. Details regarding graduate student advising and research grant management are not specified in current records. The FINATRAX research group provides her primary institutional framework, concentrating on innovation in digital payment systems, blockchain applications for financial services, and organizational change management during digital transformation initiatives.

• Digital Technology in Mental Health
• Borderline Personality Disorder
• Ecological Momentary Assessment
• +۷ مورد دیگر

Philip SANTANGELO is an Associate Professor in Behavioural Health Technology Interventions at the University of Luxembourg's Faculty of Humanities, Education and Social Sciences, within the Department of Behavioural and Cognitive Sciences. His research focuses on leveraging digital technologies for mental health assessment and intervention, particularly in areas like borderline personality disorder, PTSD, and adolescent mental health. He specializes in ambulatory assessment methods, including ecological momentary assessment (EMA), digital phenotyping, and mobile health (mHealth) applications to study emotion regulation, stress, and behavioral patterns in real-world settings. Key research interests include the development of transdiagnostic tools for mental health monitoring, the integration of passive sensing technologies with active self-report methods, and the evaluation of telemedicine interventions. He has contributed to understanding affective instability in clinical populations and the application of advanced statistical models to analyze temporal dynamics in psychological data. His work bridges clinical psychology, technology, and quantitative methodology to improve mental health care delivery and outcomes. Notable projects include the STAR collaborative nonsuicidal self-injury study and investigations into the efficacy of trauma-focused dialectical behavior therapy (DBT) in online formats. He emphasizes interdisciplinary collaboration in developing context-aware digital tools for mental health research and practice, as demonstrated in his work with the ESMAC web-based configurator for EMA apps. Dr. SANTANGELO's research also addresses geospatial analysis of behavioral patterns in trauma survivors and explores the role of self-esteem instability in borderline personality disorder. His publications span methodological innovations in ambulatory assessment, clinical trial designs, and systematic reviews of EMA applications in disorders like anorexia nervosa and binge-eating disorder. His work aims to translate technological advancements into actionable insights for mental health practitioners and policymakers.