Pierre KELSEN

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.