Nicolas GUELFI

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.